SMT-COMP

Popular repositories Loading

1. smt-comp smt-comp Public

   Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.

   TeX 34 8

2. smt-comp.github.io smt-comp.github.io Public

   HTML 12 49

3. scrambler scrambler Public

   A simple scrambler for SMT-LIB 2.6 scripts.

   C++ 7 8

4. pysmt pysmt Public

   Forked from pysmt/pysmt

   pySMT: A library for SMT formulae manipulation and solving

   Python 2

5. postprocessors postprocessors Public

   Postprocessors for SMT-COMP tracks.

   SMT 1 2

6. trace-executor trace-executor Public

   A simple SMT-LIB v2 trace executor.

   SMT 3