SAT solver N Damen Problem

[Butcher]

Hallo, gehört zwar sicher nicht hier her, aber wir sind ja bei "Anderes"

Hier gibts bestimmt nen gewieften programmierer, der Ahnung hat wie man das N-Damen Problem
http://de.wikipedia.org/wiki/Damenproblem

mit hilfe eines Jatsovers http://www.sat4j.org/products.php#core

umsetzen könnte ?

ich komm da grad nicht weiter, mir fehlt irgendwie der anstoß,...

es muss wohl dem Solver Klauseln übergeben werden, aber wie soll ich jetzt ein schachbrett in klauseln verwandeln ???


MFG Butcher

 

[Butcher]

Ist gelöst, hat mich einiges an zeit gekostet, aber ich habs hinbekommen ^^