Wiedereinstieg CNF

Hier können alle Themen rund um die neuen zusätzlichen Blockungsprogramme diskutiert werden.

Moderator: wschrewe

Antworten
Meike Klingauf
Beiträge: 80
Registriert: Samstag 5. Januar 2019, 13:47
Schulform: Gymnasium

Wiedereinstieg CNF

Beitrag 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
NielsWestphal
Beiträge: 565
Registriert: Sonntag 2. Dezember 2018, 18:33
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag von NielsWestphal »

mfg
Niels Westphal
Meike Klingauf
Beiträge: 80
Registriert: Samstag 5. Januar 2019, 13:47
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag 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
B. Bartsch
Fachberater*in
Beiträge: 321
Registriert: Dienstag 4. Dezember 2018, 14:14
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag 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)
B. Bartsch
Benutzeravatar
Pfotenhauer
Beiträge: 3081
Registriert: Dienstag 25. September 2018, 12:53
Wohnort: Wuppertal
Schulform: Realschule
Motto: Wer schnell hilft, hilft doppelt!
Kontaktdaten:

Re: Wiedereinstieg CNF

Beitrag von Pfotenhauer »

Hallo.

Ich bemühe mich auch immer die Dateien hier online zu stellen:
https://www.svws.nrw.de/download/tools
Mit freundlichen Grüßen
Frank Pfotenhauer
---
Fachberater für die Schulverwaltungssoftware des MSB
Referat 135

E-Mail: frank.pfotenhauer@msb.nrw.de
NielsWestphal
Beiträge: 565
Registriert: Sonntag 2. Dezember 2018, 18:33
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag 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.
mfg
Niels Westphal
D.Jakel
Beiträge: 836
Registriert: Sonntag 2. Dezember 2018, 18:13
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag 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.
mfG, D.Jakel
NielsWestphal
Beiträge: 565
Registriert: Sonntag 2. Dezember 2018, 18:33
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag von NielsWestphal »

mfg
Niels Westphal
D.Jakel
Beiträge: 836
Registriert: Sonntag 2. Dezember 2018, 18:13
Schulform: Gymnasium

Re: Wiedereinstieg CNF

Beitrag von D.Jakel »

Oh, 5.7.1 war wohl noch zu optimistisch :-), vielen Dank!
mfG, D.Jakel
Antworten

Zurück zu „Externe Blockungsprogramme“