<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=iso-8859-1" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18999">
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT size=2 face=Arial>Hello,</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial>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 ?</FONT></DIV>
<DIV><FONT size=2 face=Arial>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 ?</FONT></DIV>
<DIV><FONT size=2 face=Arial>Is this perhaps a way to get this information 
?</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial>Best regards,</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial>Martin</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT>&nbsp;</DIV></BODY></HTML>