Guillaume Bury
Results
5
repositories owned by
Guillaume Bury
mSAT
99
Stars
8
Forks
Watchers
A modular sat/smt solver with proof output.
archsat
27
Stars
5
Forks
Watchers
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
dolmen
85
Stars
18
Forks
Watchers
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction