Popular repositories

1. CVC4 Public

   Forked from cvc5/cvc5

   This is my personal (experimental) fork of CVC4. Caveat emptor. If you want the official CVC4 repo, check out CVC4/CVC4.

   C++ 1

2. Packages Public

   Packaging (Debian, MacPorts, ...) for CVC4

   Shell 1 2

3. glpk-cut-log Public

   Forked from timothy-king/glpk-cut-log

   A fork of glpk that includes additional logging features for how cuts were generated.

   C

4. cvc3-debian Public

   Forked from clconway/cvc3-debian

   Debian packaging for the CVC3 Satisfiability Modulo Theories tool.

   AGS Script