Kurs 42 mit CNF
Verfasst: Donnerstag 3. Februar 2022, 13:25
Auf meiner Homepage kann hier http://wschrewe.de/kurs-42-downloads/ eine (experimentelle) Version von Kurs 42 heruntergeladen werden, in der die wesentliche Funktionalität des Tools von Herrn Bartsch integriert ist. In der Datei CNFSolver.pdf gibt es einige Hinweise zur Nutzung. Der mitgelieferte cryptominisat5.exe wird im Programmverzeichnis von Kurs 42 erwartet.
Für Hinweise, eventuelle Fehlermeldungen und auch Wünsche bin ich wie immer dankbar.
Für Hinweise, eventuelle Fehlermeldungen und auch Wünsche bin ich wie immer dankbar.