mios v1.6.1 Release Notes
Release Date: 2018-06-18 // almost 6 years ago-
- 👉 Use CPU clock time in benchmark mode correctly
- Introduce new algorithms:
- ACIDS (average conflict-index decision score); Armin Biere and Andreas Fröhlich, "Evaluating CDCL Variable Scoring Schemes", LCSN, vol.9340, pp.405-422, 2015.
- An EMA-based restart heuristics (not evaluated well; might be canceled in a future release)
- A new clause scoring scheme
- The clause sorter doesn't allocate a temporal vector
- 0️⃣ Set a maximum heap size as a terminating trigger (default: 7GB)