Beweise für Nichterfüllbarkeit

Solver rechnet lange, evtl. Hardwarefehler usw.



2014-07-06