• CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    SMT 212 85 Updated Aug 18, 2018
  • Homebrew formula for CVC4

    Ruby 4 Updated Aug 7, 2018
  • LFSC Proof Checker

    C++ 1 Updated Mar 22, 2018
  • Benchmarks for CVC4

    1 Updated Sep 5, 2017
  • Packaging (Debian, MacPorts, ...) for CVC4

    Tcl 2 Updated Mar 19, 2017