mios v1.3.0 Release Notes
Release Date: 2016-09-01 // over 7 years ago-
- replace LBD heuristics with a simpler metrics, inspired by S. Jabbour et al.: “Revisiting the Learned Clauses Database Reduction Strategies,” 2013.
- 🔄 change the module structure