Atur cara mengikut xml-sat.sf.net
-
XML-SAT Percuma
Pelarut SAT modular berdasarkan Minisat. Modul diterangkan dalam fail XML, yang diproses oleh skrip perl; dengan itu menjana n-solver.
Pelarut SAT modular berdasarkan Minisat. Modul diterangkan dalam fail XML, yang diproses oleh skrip perl; dengan itu menjana n-solver.