Gbury / archsatLinks

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

Alternatives and similar repositories for archsat

Users that are interested in archsat are comparing it to the libraries listed below

Sorting: