Tarmo Download Page

Tarmo is a framework for the parallelized solving of sequences of incrementally encoded SAT instances.

NEWS! Tarmo release 111014 that took part in the Hardware Model Checking Competition 2011 is now available. This version supports iCNF as well as AIGER 1.9 as input formats.