[isabelle-dev] isabelle dimacs2hol

Makarius makarius at sketis.net
Mon Jul 8 11:09:55 CEST 2013


Does the Isabelle tool "dimacs2hol" from 2004 still have a purpose?

The DIMACS CNF format appears to be an old proposal for SAT, predating 
newer things like SMT-LIB.  So this looks like a candidate for deletion.


 	Makarius


More information about the isabelle-dev mailing list