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.
- Bugs ( 0 open / 0total )Bug Tracking System
- Support ( 0 open / 0total )Tech Support Tracking System
- Patches ( 0 open / 0total )Patch Tracking System
- Feature Requests ( 0 open / 0total )Feature Request Tracking System
Tracker
SCM Tree
Released Files
