Pinned Repositories
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
jSMTLIB
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
metaSMT
z3
The Z3 Theorem Prover
freefunctors's Repositories
freefunctors/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
freefunctors/jSMTLIB
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
freefunctors/metaSMT
freefunctors/z3
The Z3 Theorem Prover