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

BENCHMARKS

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