The goal of this project is to further improve MiraXT, a thread-based parallel SAT algorithm to take advantage of current and future shared memory multiprocessor systems.
[View Members]
[Request to join]
Project Home Page
SCM Repository
