-------------------------------------------------------------------
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