pySMT

Repositories

• pysmt

  pySMT: A library for SMT formulae manipulation and solving

  python formula verification constraints satisfiability-modulo-theories python-3 smt
  Python Apache-2.0 84 330 64 (18 issues need help) 17 Updated Oct 13, 2020

• repycudd

  Reentrant version of pycudd
  C 2 0 0 1 Updated Jul 23, 2020

• yicespy

  Python Wrapper for the Yices SMT Solver
  SWIG Apache-2.0 1 2 0 1 Updated Apr 26, 2020

• solvers_patches

  Store all patches for solvers in a single location.
  Python 0 1 1 0 Updated Jan 23, 2018

• Z3bin

  Forked from Z3Prover/bin

  Auxiliary repository used to store pre-compiled binary distribution packages of Z3.
  7 0 0 0 Updated Dec 24, 2017

• z3

  Forked from Z3Prover/z3

  The Z3 Theorem Prover
  C++ 949 0 0 0 Updated Dec 23, 2017

• CVC4

  Forked from CVC4/CVC4

  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  SMT 135 0 0 0 Updated Aug 5, 2017

• pyPicoSAT

  PicoSAT SAT Solver Python Wrapper
  C 3 1 1 1 Updated Aug 1, 2017

• dreal3

  Forked from dreal/dreal3

  New version of the dReal solver. More info at
  SMT 34 0 0 0 Updated Oct 31, 2016

• mathsat-cffi

  CFFI Wrapper for MathSAT library
  Python 0 2 0 0 Updated Sep 28, 2016

• pysmt-docker

  Dockerfile for PySMT
  Shell 0 0 0 0 Updated Oct 11, 2015

• pysmt.github.io
  CSS 0 0 0 0 Updated Oct 4, 2015