Dateien im Cnf-Format

Diese Dateien befinden sich im Verzeichnis 
/home/info/www/inf/Berghammer/umi/SAT/CNF-FILES/
und stammen im Original von http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html.

Quelldateien

Erzeugte RelView-Dateien

Diese Dateien befinden sich im Verzeichnis 
/home/info/www/inf/Berghammer/umi/SAT/ASCII-FILES/
.