Tarmo Download Page |
|||
|
Tarmo is a framework for the parallelized solving of sequences of incrementally encoded SAT instances. It supports iCNF as well as AIGER 1.9 as input formats. Tarmo release 120521 Tarmo release 111014 that took part in the Hardware Model Checking Competition 2011 is now available. |
|||