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.
lịch sử phiên bản
- Phiên bản release đăng trên 2010-04-24
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2010-04-24
Chi tiết chương trình
- Mục: Phát triển > Khác
- Publisher: xml-sat.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: linux