Kurs 42 mit CNF

Alles, was zu Kurs42 passt

Moderator: wschrewe

Antworten
Benutzeravatar
wschrewe
Fachberater*in
Beiträge: 1686
Registriert: Dienstag 25. September 2018, 17:36
Schulform: BK (Pensionär)
Kontaktdaten:

Kurs 42 mit CNF

Beitrag von wschrewe »

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.
Mit freundlichen Grüßen
Walter Schrewe
"If all else fails, read the instructions" (Donald E. Knuth, letzter TeX - Hilfehinweis)
Antworten

Zurück zu „Allgemeines“