| Státusz: | adjunktus |
| Status: | assistant professor |
| Email: | szabivan [at] inf.u-szeged.hu |
| Iroda: | Aradi tér 1, Számítástudomány Alapjai Tanszék |
| Office: | 6701 Szeged, Aradi square 1, Department of Computer Science |
| Telefon: | 4494 |
| Phone: | +3662 544494 |
| CV (slightly outdated), master's thesis, phd thesis | |
| English localization is still in progress! Most of the page still appears in Hungarian only, sorry | |
What do you want? (the Shadow question)
2012. 03. 07. 09:10 AM
Megismételve egy korábbi hírt, a tavalyi rezolúciós példagenerátor letölthető, jarban.
Katt.
Usage: java -jar ResolutionExercise [maxVars=V] [minLength=L]
Ekkor olyan Σ ⊨ F alakú feladatot generál megoldással, ami legfeljebb V változót tartalmaz és amiben a levezetés hossza legalább L.
A dolgozatpéldákat is ezzel fogom generálni, a default paraméterezéssel (V=4, L=7).
Forrást is raktam bele, aki akar, mókoljon vele bátran.
Vannak, akik olyan oprendszert használnak, aminek a konzolját nem lehet átrakni UTF-8-ba, kedvükért tettem be ascii supportot, az ascii=1 argumentummal lehet beizzítani.
Shot:
Usage: java -jar ResolutionExercise [maxVars=V] [minLength=L]
Ekkor olyan Σ ⊨ F alakú feladatot generál megoldással, ami legfeljebb V változót tartalmaz és amiben a levezetés hossza legalább L.
A dolgozatpéldákat is ezzel fogom generálni, a default paraméterezéssel (V=4, L=7).
Forrást is raktam bele, aki akar, mókoljon vele bátran.
Vannak, akik olyan oprendszert használnak, aminek a konzolját nem lehet átrakni UTF-8-ba, kedvükért tettem be ascii supportot, az ascii=1 argumentummal lehet beizzítani.
Shot: