Name Last Update
..
aufgabe11_1 Loading commit data...
beispiele Loading commit data...
cnf Loading commit data...
README Loading commit data...
org.sat4j.core.jar Loading commit data...
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