Beast code in Giters

pySMT's repositories

pySMT: A library for SMT formulae manipulation and solving

Language:PythonApache-2.0550 18 307

Python Wrapper for the Yices SMT Solver

Language:SWIGApache-2.05 3 1

CFFI Wrapper for MathSAT library

Language:Python2 20

PicoSAT SAT Solver Python Wrapper

Language:C2 2 3

Reentrant version of pycudd

Language:C1 2 3

Store all patches for solvers in a single location.

Language:Python1 3 1

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTNOASSERTION020

New version of the dReal solver. More info at

Language:SMTGPL-3.0020

Dockerfile for PySMT

Language:Shell020

Language:CSS020

The Z3 Theorem Prover

Language:C++NOASSERTION010

Auxiliary repository used to store pre-compiled binary distribution packages of Z3.

020