Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
pySMT: A library for SMT formulae manipulation and solving
Python Wrapper for the Yices SMT Solver
Store all patches for solvers in a single location.
Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
The Z3 Theorem Prover
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
PicoSAT SAT Solver Python Wrapper
New version of the dReal solver. More info at
CFFI Wrapper for MathSAT library
Reentrant version of pycudd
Dockerfile for PySMT