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

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