Popular repositories Loading

1. smt-comp smt-comp Public

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

   TeX 30 7

2. scrambler scrambler Public

   A simple scrambler for SMT-LIB 2.6 scripts.

   C++ 7 7

3. smt-comp.github.io smt-comp.github.io Public

   HTML 6 34

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