EN FR
EN FR


Section: New Software and Platforms

archsat

Keywords: Automated theorem proving - First-order logic - Propositional logic

Functional Description: Archsat is an automated theorem prover aimed at studying the integration of first-order theorem prover technologies, such as rewriting, into SMT solvers.