XML-SAT

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎1 ‎Phiếu

Về XML-SAT

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.