[Cryptominisat-devel] Question on UNSATISFIABLE (perhaps FAQ) ?
capiman26061973 at gmx.de
Dim 2 Jan 12:42:31 CET 2011
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 ?
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
More information about the Cryptominisat-devel