README


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