Tijdens een cursus aan de Universiteit "La Sapienza" in Rome ontwikkelde ik een volledig werkende SAT-oplosser op basis van unit propagatie en backtracking; het kan DIMACS-bestanden lezen en cnf-formules van elke lengte verwerken (er zijn geen beperkingen op het aantal literalen).
versiegeschiedenis
- Versie s-sat06.beta1 geplaatst op 2009-02-14
Verschillende oplossingen en updates - Versie s-sat06.beta1 geplaatst op 2009-02-14
Programmadetails
- Categorie: Onderwijs > Andere
- Publisher: s-sat.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: 06
- Platform: linux