Entscheidungsvariablen: x ij zur Angabe der Reihenfolge zwischen i und j in Menge A. y ij zur Angabe der Reihenfolge zwischen i und j in Menge B. c ijkl, um anzugeben, ob es eine Kreuzung zwischen den Kanten (i, j) und (k, l) gibt.
xij = 1 bedeutet, dass π1(i) < π1(j) — Knoten i kommt vor Knoten j in der ersten Permutation. yij = 1 bedeutet, dass π2(i) < π2(j) — Knoten i kommt vor Knoten j in der zweiten Permutation.
main: logged nur das wesentliche
backupmain: aktuelles backup
foretesting: gleiches wie main, nur mit konsolen output, was nur für kleine graphen etwas bringt.
solver.py: Funktion die 2 Argumente übernimmt, Inputgraph und Outputgraph. Wird für den pace2024tester genutzt.
solver.bat: Script für windwos, welches die solver.py mit den beiden Konsolen Inputs ausführt.