Files
cadical/cadical.changes

9 lines
298 B
Plaintext

-------------------------------------------------------------------
Sun Jan 5 04:34:29 UTC 2025 - Xu Zhao <i@xuzhao.net>
- Initial commit
- Version 2.1.1
* Reentrant multi-threaded writing of compressed files
* New IPASIR-UP options
* Fix performance regression for incremental SAT solving