S-SAT - Sapienza SAT 06

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

Về S-SAT - Sapienza SAT

Trong một khóa học tại Đại học & La Sapienza" ở Rome, tôi đã phát triển một bộ giải SAT hoạt động đầy đủ dựa trên tuyên truyền đơn vị và quay ngược; nó có thể đọc các tập tin DIMACS và xử lý công thức CNF của bất kỳ chiều dài (không có hạn chế về số lượng literals).