mios v1.5.3 Release Notes
Release Date: 2017-12-13 // over 6 years ago-
- implement EMA based Glucose heuristics (Biere 2015) #62
- 🛠 fix a bug on learnt clause reduction in a marginal situation
- ⏱ thread-based timeout handling #58
- ⚡️ update command line options
- ⚡️ update the benchmark report format #64
- ➕ add a new type to represent a search result #64
- further adaptation to 64-bit CPU