3
Repos
218
Stars
34
Forks
218
Watchers
Repositories (3)
mSAT
Gbury/mSAT
OCaml
A modular sat/smt solver with proof output.
102
8
dolmen
Gbury/dolmen
OCaml
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
89
21
archsat
Gbury/archsat
OCaml
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
27
5