Beweise für Nichterfüllbarkeit

Solver rechnet lange, evtl. Hardwarefehler usw.



2014-03-31