Home My Page Projects ArchSat
Summary Activity Tracker SCM

Public Tools
Tracker  Tracker
There are no trackers available
SCM Repository (Git: 1,654 updates, 563 adds)
Project description

ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction.