{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"stanford-centaur.github.io","owner":"stanford-centaur","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T18:37:16.489Z"}},{"type":"Public","name":"smt-switch","owner":"stanford-centaur","isFork":false,"description":"A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":6,"issueCount":24,"starsCount":101,"forksCount":39,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T23:06:44.110Z"}},{"type":"Public","name":"pono","owner":"stanford-centaur","isFork":false,"description":"Pono: A flexible and extensible SMT-based model checker","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":23,"starsCount":66,"forksCount":32,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:10:02.815Z"}},{"type":"Public","name":"Soy","owner":"stanford-centaur","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-07T02:49:34.818Z"}}],"repositoryCount":4,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"stanford-centaur repositories"}