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
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
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).