The Model Expansion Project

MXC: A Clause-Learning SAT Solver
MX Project Home | MXC |

MXC is an open-source clause-learning SAT Solver. Please feel free to download and try it. If you wish to modify or distribute it, please read the license conditions carefully.

DOWNLOADS

VersionDescriptionPaperDownload
0.99 Submission to SAT Competition 2009 PDF mxc-sat09.zip
0.75 Submission to SAT Race 2008 PDF mxc-sr08.zip
0.5 Submission to SAT Competition 2007 PDF mxc-sat07.zip
0.1 Submission to SAT Race 2006 PDF mxc-sr06.zip

BENCHMARKS

All tests were run on a 2.4GHz AMD Opteron 250 with 4GB of ram.

Sat Race '06 TS1
Sat Race '06 TS2
Sat Race '06 Final
Sat Competition '07 Combined
Sat Competition '07 Crafted
Sat Competition '07 Industrial
Sat Race '08 TS1
Sat Race '08 TS2
Sat Race '08 Final
Raw Data & HTML creation script


Viewed 8570 times since May 10, 2008