Tarmo and its graphical visualizations

The source code for Tarmo is available from here. It includes the graphical visualizations, but these only work if Tarmo is correctly linked to the Allegro5 game programming library.

We provide several example videos created by running Tarmo here. One can watch the videos from the embedded YouTube frames below, or download them here.

Tarmo running iCNF files

iCNF encoding of HWMCC'07 benchmark vis.bakery, solved using 8 computation threads.

iCNF encoding of HWMCC'07 benchmark bc57sensorsp2neg, solved using 4 computation threads.

Tarmo MUS finder

Finding a MUS in benchmark barrel6, using 4 computation threads.