mios v1.5.3 Release Notes

Release Date: 2017-12-13 // almost 4 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