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.