Chương trình theo xml-sat.sf.net
-
XML-SAT Miễn phí
Một bộ giải SAT mô-đun dựa trên Minisat. Các mô-đun được mô tả trong xml-files, được xử lý bởi một kịch bản perl; do đó tạo ra n-solvers.
Một bộ giải SAT mô-đun dựa trên Minisat. Các mô-đun được mô tả trong xml-files, được xử lý bởi một kịch bản perl; do đó tạo ra n-solvers.