[Cryptominisat-devel] Question on UNSATISFIABLE (perhaps FAQ) ?

Martin Maurer capiman26061973 at gmx.de
Dim 2 Jan 12:42:31 CET 2011


Hello,

when i have an cnf, set certain variable and this results in UNSATISFIABLE, is there a way to get the associated variables / clauses leading to this result ?
I think there was a way (at least in earlier releases of cryptominisat or was it a different SAT solver ?) to print out a solving graph ?
Is this perhaps a way to get this information ?

Best regards,

Martin
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/cryptominisat-devel/attachments/20110102/ec736a7a/attachment.htm>


More information about the Cryptominisat-devel mailing list