PROGRAMME VON s-sat.sf.net

Während eines Kurses an der Universität "La Sapienza" in Rom entwickelte ich einen voll funktionsfähigen SAT-Solver auf der Grundlage von Einheitenausbreitung und Backtracking; es kann DIMACS-Dateien lesen und cnf F