{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"pysmt","owner":"pysmt","isFork":false,"description":"pySMT: A library for SMT formulae manipulation and solving","allTopics":["formula","verification","constraints","satisfiability-modulo-theories","python-3","smt","python"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":26,"issueCount":58,"starsCount":551,"forksCount":127,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T19:20:19.193Z"}},{"type":"Public","name":"repycudd","owner":"pysmt","isFork":false,"description":"Reentrant version of pycudd","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":2,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-23T09:26:28.274Z"}},{"type":"Public","name":"yicespy","owner":"pysmt","isFork":false,"description":"Python Wrapper for the Yices SMT Solver","allTopics":[],"primaryLanguage":{"name":"SWIG","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-26T08:58:47.986Z"}},{"type":"Public","name":"solvers_patches","owner":"pysmt","isFork":false,"description":"Store all patches for solvers in a single location.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-01-23T09:26:55.265Z"}},{"type":"Public","name":"Z3bin","owner":"pysmt","isFork":true,"description":"Auxiliary repository used to store pre-compiled binary distribution packages of Z3.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-24T21:37:39.829Z"}},{"type":"Public","name":"z3","owner":"pysmt","isFork":true,"description":"The Z3 Theorem Prover","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1458,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-12-23T15:25:51.186Z"}},{"type":"Public","name":"CVC4","owner":"pysmt","isFork":true,"description":"CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":224,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-05T00:40:56.838Z"}},{"type":"Public","name":"pyPicoSAT","owner":"pysmt","isFork":false,"description":"PicoSAT SAT Solver Python Wrapper","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":1,"starsCount":2,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-08-01T00:50:59.614Z"}},{"type":"Public","name":"dreal3","owner":"pysmt","isFork":true,"description":"New version of the dReal solver. More info at","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-10-31T13:11:04.241Z"}},{"type":"Public","name":"mathsat-cffi","owner":"pysmt","isFork":false,"description":"CFFI Wrapper for MathSAT library","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-09-28T09:04:09.660Z"}},{"type":"Public","name":"pysmt-docker","owner":"pysmt","isFork":false,"description":"Dockerfile for PySMT","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-11T09:14:34.838Z"}},{"type":"Public","name":"pysmt.github.io","owner":"pysmt","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-04T19:38:38.633Z"}}],"repositoryCount":12,"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":"pysmt repositories"}