Gbury / archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
27Updated last year

Related projects

Alternatives and complementary repositories for archsat