{"payload":{"pageCount":1,"repositories":[{"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":67,"forksCount":31,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-21T22:10:22.654Z"}},{"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-08-18T21:31:23.564Z"}},{"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":102,"forksCount":40,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T23:06:44.110Z"}},{"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"}