{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"stp","owner":"stp","isFork":false,"description":"Simple Theorem Prover, an efficient SMT solver for bitvectors","topicNames":["cryptography","verification","symbolic-execution","cnf","sat-solver","smt"],"topicsNotShown":0,"allTopics":["cryptography","verification","symbolic-execution","cnf","sat-solver","smt"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":12,"issueCount":49,"starsCount":487,"forksCount":127,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-23T17:28:52.626Z"}},{"type":"Public","name":"stp.github.io","owner":"stp","isFork":false,"description":"The website for STP, the Simple Theorem Prover","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T17:08:01.590Z"}},{"type":"Public","name":"OutputCheck","owner":"stp","isFork":false,"description":"A tool for checking tool output inspired by LLVM's FileCheck","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":2,"starsCount":11,"forksCount":7,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-19T10:45:45.306Z"}},{"type":"Public","name":"docs","owner":"stp","isFork":false,"description":"Documents","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-22T01:32:30.687Z"}},{"type":"Public","name":"minisat","owner":"stp","isFork":true,"description":"A minimalistic and high-performance SAT solver","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":23,"forksCount":375,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-06T20:16:44.342Z"}},{"type":"Public","name":"googletest","owner":"stp","isFork":false,"description":"Mirror of SVN Googletest repository","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-11T09:08:23.668Z"}},{"type":"Public","name":"smtcomp-cloud-2021","owner":"stp","isFork":false,"description":"STP SMT Competition 2021 code","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-16T08:56:46.480Z"}},{"type":"Public","name":"Bit-Vector","owner":"stp","isFork":false,"description":"Mirror of Steffen Beyer's Bit::Vector Library [<a href=\"http://guest.engelschall.com/~sb/download/\" rel=\"nofollow\">http://guest.engelschall.com/~sb/download/</a>]","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-27T10:30:25.989Z"}},{"type":"Public","name":"stp-packaging","owner":"stp","isFork":false,"description":"Contains files for packaging STP on different platforms","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-11-16T01:21:55.889Z"}},{"type":"Public","name":"crashes","owner":"stp","isFork":false,"description":"Examples that crash the solver","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2014-11-09T16:54:59.823Z"}}],"repositoryCount":10,"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":"Repositories"}