|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.
All tests were run on a 2.4GHz AMD Opteron 250 with 4GB of ram.
Viewed 8570 times since May 10, 2008