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.
Aufgrund von Wartungsarbeiten wird das Forum am Montag, dem 28.07.2025 vorübergehend nicht erreichbar sein.
Kurs 42 mit CNF
Moderator: wschrewe
-
wschrewe
- Fachberater*in
- Beiträge: 1882
- Registriert: Dienstag 25. September 2018, 17:36
- Schulform: BK (Pensionär)
- Kontaktdaten:
Kurs 42 mit CNF
Mit freundlichen Grüßen
Walter Schrewe
"If all else fails, read the instructions" (Donald E. Knuth, letzter TeX - Hilfehinweis)
Walter Schrewe
"If all else fails, read the instructions" (Donald E. Knuth, letzter TeX - Hilfehinweis)