Everyone Loves a SAT Solver
I needed DIMACS-format output from STP, so I hacked together a patch for it.
It works only against the SVN version of STP, but is trivial (although not automatic) to patch the latest non-SVN version also. To patch, cd to the STP folder, then use something like patch -R -p1 < stp_dimacs.patch
Then, use the "-o" switch to dump a DIMACS file to the current folder. Next, fire up your favorite SAT solver and profit...
Update: It seems the toDimacs call can create strange outputs. Be aware of bugs!
No Comments so far
Leave a comment
Leave a comment
Line and paragraph breaks automatic, e-mail address never displayed, HTML allowed:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>