XML-SAT

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów

O XML-SAT

Modułowy solver SAT oparty na Minisat. Moduły są opisane w plikach XML, które są przetwarzane przez skrypt perl; generując w ten sposób n-solvery.