Beipielprogramme: javac -cp .:org.sat4j.core.jar beispiele/Test.java java -cp .:org.sat4j.core.jar beispiele/Test javac -cp .:org.sat4j.core.jar beispiele/Sudoku.java java -cp .:org.sat4j.core.jar beispiele/Sudoku javac -cp .:org.sat4j.core.jar aufgabe11_1/Hamilton.java java -cp .:org.sat4j.core.jar aufgabe11_1/Hamilton Für die Tests auf Erfüllbarkeit wird der Sat-Solver SAT4J verwendet. Dieser ist in der Datei org.sat4j.core.jar enthalten, welche für die Kompilation und Ausführung im CLASSPATH stehen muss. SAT4J kann auch wie zchaff oder minisat als eigenständiger Sat-Solver benutzt werden, der seine Eingabe als Textdatei im DIMACS-Format erhält. Aufruf dann: java -jar org.sat4j.core.jar formel.dimacs
Name |
Last commit
|
History
|
Last Update |
---|---|---|
.. | ||
aufgabe11_1 | ||
beispiele | ||
cnf | ||
README | ||
org.sat4j.core.jar |