Seitenindex umschalten Seiten: 1 ... 7 8 [9]  Thema versendenDrucken
Very Hot Topic (More than 25 Replies) NEUE VERSION: 'Kurs42_To_CNF' (Gelesen: 5227 mal)
Benjamin Bartsch
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #120 - 27.06.2018 um 12:47:00
Beitrag drucken  
Walter Schrewe schrieb on 25.06.2018 um 19:08:04:
Quote:
Die dort enthaltene DLL lässt sich nicht registrieren.
Und auch nicht mit LoadLibrary laden. Fehlercode:

ERROR_BAD_EXE_FORMAT
    193 (0xC1)
    cryptominisat5win.dll is not a valid Win32 application.


Doofe Frage, aber ist die DLL vielleicht für 64bit compiliert?

...irgendwie kann man bei "appveyor" auch konfigurieren, was man compiliert haben möchte ....
  
Zum Seitenanfang
 
IP gespeichert
 
M. Plümper
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #121 - 27.06.2018 um 13:08:50
Beitrag drucken  
Ich habe ein 64bit System. regsvr32 kann die DLL nicht registrieren.
  
Zum Seitenanfang
 
IP gespeichert
 
Walter Schrewe
YaBB Administrator
*****
Offline


Kurs 42 lebt!

Beiträge: 9343
Mitglied seit: 05.04.2003
Geschlecht: männlich

Schulform: Keine Schule
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #122 - 27.06.2018 um 19:10:18
Beitrag drucken  
Quote:
regsvr32 kann die DLL nicht registrieren
Das hat nichts mit 32- oder 64Bit zu tun, sondern liegt daran, dass die DLL kein Ole- oder ActiveX-Steuerelement enthält.
  

Mit freundlichen Grüßen
Walter Schrewe 
"If all else fails, read the instructions" (Donald E. Knuth, letzter TeX - Hilfehinweis)
Zum Seitenanfang
IP gespeichert
 
Benjamin Bartsch
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #123 - 06.11.2018 um 21:23:20
Beitrag drucken  
Sehr geehrte Forenmitglieder,
anbei eine neue Version von Kurs42_To_CNF.

Das Programm hat nun (intern) auch eine kleine Anleitung. Ich denke es ist relativ leicht zu verstehen/bedienen. Lediglich das Herunterladen eines externen SAT-Solvers (einmalig) ist etwas nervig, wird aber in der Anleitung erklärt.

Viele Grüße
Benjamin Bartsch
  

Kurs42_To_CNF_2018_11_06.jar ( 359 KB | 17 Downloads )
Zum Seitenanfang
 
IP gespeichert
 
Benjamin Bartsch
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #124 - 12.11.2018 um 12:04:34
Beitrag drucken  
Sehr geehrte Forenmitglieder,
anbei eine neue Version von Kurs42_To_CNF.

Das Programm hat nun zwei neue Buttons, sobald man eine Lösung findet.

- RE-RUN (100%, 90%, 80%, 70%)
- RE-RUN (100%, 90%, 80%, 70%, 60%, 50%, 40%, 30%)

Es werden 4 bzw. 8 neue Berechnungen (Tabs) geöffnet mit jeweils % fixierten Kursen. So kann man versuchen, eine Lösung mit noch zu großen Kursdifferenzen weiter zu optimieren.

PS: In der nächsten Version werde ich wahrscheinlich die "Spinner" für GK-AVG-MAX, GK-AVG-MIN und LK-AVG-MAX, LK-AVG-MIN entfernen, da die Kursdifferenz als Angabe reicht. Plus-Minus-Abweichungen vom Kursgrößen-Mittelwert sind eine viel "weichere" Einschränkung als Kursdifferenzen.

Viele Grüße
Benjamin Bartsch
  

Kurs42_To_CNF_2018_11_12.jar ( 368 KB | 10 Downloads )
Zum Seitenanfang
 
IP gespeichert
 
Benjamin Bartsch
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #125 - 14.11.2018 um 13:09:02
Beitrag drucken  
Sehr geehrte Forenmitglieder,
anbei eine neue Version von Kurs42_To_CNF.

- Es gibt nur noch Kursdifferenzen. [GK-AVG-MAX, GK-AVG-MIN und LK-AVG-MAX, LK-AVG-MIN wurde entfernt]

In Zukunft werde ich noch die Regel einbinden die Schüleranzahl eines bestimmten Kurses zu begrenzen. Denn manchmal gibt es Koop-Kurse die klein bleiben müssen (z.B. 7 SuS), weil andere Koop-Schüler bereits eingeplant sind. Ein solcher Kurs fliegt automatisch aus Kursdifferenz-Vergleichen mit anderen Kursen raus.

Viele Grüße
Benjamin Bartsch
  

Kurs42_To_CNF_2018_11_14.jar ( 367 KB | 11 Downloads )
Zum Seitenanfang
 
IP gespeichert
 
Benjamin Bartsch
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #126 - 16.11.2018 um 21:03:25
Beitrag drucken  
Sehr geehrte Forenmitglieder,
anbei eine neue Version von Kurs42_To_CNF.

- Man kann von Kursen nun eine Mindest- und eine Maximalanzahl an Schülern verlangen. Die Kurse werden dann von Kursdifferenz-Berechnungen ausgeschlossen.
- Man kann nun verlangen, dass bestimmte SchülerInnen bestimme Fachwahlen unbedingt erhalten müssen.

Viele Grüße
Benjamin Bartsch
  

Kurs42_To_CNF_2018_11_16.jar ( 374 KB | 7 Downloads )
Zum Seitenanfang
 
IP gespeichert
 
Volker_Dirr
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #127 - 17.11.2018 um 09:17:50
Beitrag drucken  
Wie ist "Man kann nun verlangen, dass bestimmte SchülerInnen bestimme Fachwahlen unbedingt erhalten müssen" gemeint?

Können Sie jetzt auch alternative Kurswahlen annehmen oder meinen Sie damit, dass Schüler nicht zu "Umwählern" werden können, wenn man Umwähler erlaubt?
  
Zum Seitenanfang
 
IP gespeichert
 
Benjamin Bartsch
Ex-Mitglied



Schulform: SpamBot-Bitte unbedingt ändern!
Re: NEUE VERSION: 'Kurs42_To_CNF'
Antwort #128 - 17.11.2018 um 10:33:44
Beitrag drucken  
Letzteres ist gemeint, also dass eine Umwahl/Nichtwahl bezüglich dieses Faches verboten ist.
  
Zum Seitenanfang
 
IP gespeichert
 
Seitenindex umschalten Seiten: 1 ... 7 8 [9] 
Thema versendenDrucken
 
  « Übersicht ‹ Forum Nach oben