MiraXT
Subproject |
H1/2 |
Categories |
Core algorithms |
Overview |
MiraXT is a multithreaded SAT solver which was designed to take advantage of shared memory multiprocessor systems. |
T. Schubert, M. Lewis, and B. Becker. PaMiraXT: Parallel SAT Solving with Threads and Message Passing. Journal on Satisfiability, Boolean Modeling and Computation -- Special Issue on Parallel SAT Solving, 6:203-222, 2009. M. Lewis, T. Schubert, and B. Becker. Multithreaded SAT Solving. In 12th Asia and South Pacific Design Automation Conference, pages 926-931, 2007. |
|
SAT Competition Benchmarks |
|
Download |
Click here for the binary (4 threads, preprocessing enabled). |
Manual |
Just type ./MiraXT on the command line to see how it can be used. |
Status |
Stable |