MiraXT is a multithreaded SAT solver that was designed to take advantage of current and future shared memory multiprocessor systems. The experimental results in [2] show that already in single threaded mode, MiraXT compares well to other state-of-the-art SAT algorithms on a wide range of industrial problems. In threaded mode, it provides cutting edge performance, as speedup is obtained on both satisfiable and unsatisfiable instances.

[1] T. Schubert, M. Lewis, N. Kalinnik, and B. Becker. Solver Description of the different configurations of MiraXT, entering the SAT Competition 2007.

[2] M. Lewis, T. Schubert, and B. Becker. Multithreaded SAT Solving. In 12th Asia and South Pacific Design Automation Conference, 2007.

If You are interested in getting the source code of our SAT solver, please fill the form given below and click the submit button to download MiraXT. To see the copyright licence under which the solver is available click here, information about the current release is available here.