Popular repositories

1. smt-comp smt-comp Public

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

   TeX 27 7

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

   HTML 4 6

3. scrambler scrambler Public

   A simple scrambler for SMT-LIB 2.6 scripts.

   C++ 3 4

4. postprocessors postprocessors Public

   Postprocessors for SMT-COMP tracks.

   SMT 1 2

5. pysmt pysmt Public

   Forked from pysmt/pysmt

   pySMT: A library for SMT formulae manipulation and solving

   Python 1

6. trace-executor trace-executor Public

   A simple SMT-LIB v2 trace executor.

   SMT 1