Chương trình theo s-sat.sf.net

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