Dmitry Roshchin
d99e336bfc
cadical is a build-time dependency of lean4. OBS-URL: https://build.opensuse.org/request/show/1237597 OBS-URL: https://build.opensuse.org/package/show/science/cadical?expand=0&rev=1
9 lines
298 B
Plaintext
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
|