Benutzung von SAT-Solvern

Eingabeformat: SAT-Problem in CNF:

Beispiel
p cnf 5 3
1 -5 4 0
-1 5 3 4 0
-3 -4 0
Löser: minisat input.cnf output.text



2014-03-31