This major new release includes:
- Award-winning SAT solver that won the incremental track at SAT Competition 2016 and got 3rd place on the parallel track
- CMS can be a preprocessor. Run with
cryptominisat5 -p1 input.cnf simplified.cnfand
cryptominisat5 -p2 solution.outto reconstruct the solution for the original problem.
- Gaussian elimination is back! You can add it by configuring with
- CMS has preliminary web-based data exploration support. See under