Seite 1 von 1

Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 15:03
von Meike Klingauf
Lieber Herr Bartsch,

nach einem Jahr "Abstinenz" von CNF beginnt ja nun wieder die Zeit des Blockens für die zukünftigen Jahrgänge EF und Q1.

Der mittlerweile 21-seitige Thread unten ("Neue Version: Kurs42_To_CNF") ist einigermaßen kompliziert durchzuarbeiten. Könnten Sie vielleicht hier im "Neubeginn" die Version Ihres Programmes hochladen, die Sie nun empfehlen würden zu nutzen und zusätzlich kurz angeben, welche Hilfsprogramme (z.B. Java etc.) mit guter Wahrscheinlichkeit eines Updates bedürfen?

Falls Sie zur Hand haben wäre eine aktualisierte Anleitung auch schön, so dass man schneller wieder in das Programm hineinfände.

Danke für Ihre Hilfe, ich erinnere mich, dass ich letztes Jahr schwer begeistert von der Arbeit mit CNF war.
Freundliche Grüße
Meike KLingauf

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 15:06
von NielsWestphal

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 16:15
von Meike Klingauf
Danke, Herr Westphal.

Ich stelle fest, dass der Wiedereinstieg nicht für Dummies ist... Die empfohlene Datei "cryptominisat5-win-amd64-nogauss.exe" ist auf der verlinkten Seite (https://github.com/msoos/cryptominisat/releases) nicht vorhanden und wenn ich die aktuellste Version von Kurs42_To_CNF suche, werde ich hierher geleitet: viewtopic.php?f=71&t=20&start=180, das ist irgendwo in dem 21-seitgem Tread, wo ich aber die aktuellste Version vor lauter verschiedenen Dingen zum Herunterladen nicht identifizieren kann.

Danke für weitere Hilfe,
Meike KLingauf

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 16:38
von B. Bartsch
... die Datei ist dort, man muss nur leider neuerdings unter 5.6.8 den Reiter "Assets" aufklappen.

... und die neuste Version meines Programms ist immer am Ende der Diskussion zu finden. Die neuste Version hat das auch neuste Datum.
viewtopic.php?f=71&t=20&start=200
(bar_Kurs42_To_CNF_2020_05_08a.jar)

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 18:05
von Pfotenhauer
Hallo.

Ich bemühe mich auch immer die Dateien hier online zu stellen:
https://www.svws.nrw.de/download/tools

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 18:19
von NielsWestphal
Meike Klingauf hat geschrieben: Sonntag 24. Mai 2020, 16:15 Danke, Herr Westphal.

Ich stelle fest, dass der Wiedereinstieg nicht für Dummies ist...

Danke für weitere Hilfe,
Meike KLingauf
Haben Sie das Video gesehen, das im Wiki unten verlinkt ist? Falls Sie Hilfe benötigen: einfach schreiben, entweder hier oder an mich direkt.

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 19:46
von D.Jakel
Guten Tag,
B. Bartsch hat geschrieben: Sonntag 24. Mai 2020, 16:38 ... die Datei ist dort, man muss nur leider neuerdings unter 5.6.8 den Reiter "Assets" aufklappen.
Ich habe zwar den Download geschafft, das Entpacken liefert aber keine exe. Das Archiv ist "cryptominisat5-amd64-linux(1).gz". Ich finde darin nach dem Entpacken keine exe.

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 19:58
von NielsWestphal

Re: Wiedereinstieg CNF

Verfasst: Sonntag 24. Mai 2020, 20:10
von D.Jakel
Oh, 5.7.1 war wohl noch zu optimistisch :-), vielen Dank!