xlsat
This is an Ocaml program, written by Xavier Leroy?, and converting Oz source code generated by CLPProblem Generator? into CNF SAT formulas in CNF format. The resulting problems can then be solved using sat-grasp? or with the Davis-Putnam solver written by Berke Durak?.
Version 1.2 last modified by Berke on 10/11/2005 at 15:52
Document data
Attachments:
No attachments for this document
Comments: 0