Changes in cadical 1.9.5:

• Removes an unexpected performance regression on the anniversary track due to marking forward strengthened redundant clauses as used

Changes in cvc5 1.1.2:

• See https://github.com/cvc5/cvc5/blob/main/NEWS.md

Changes in drat-trim:

• Update for proof (de)compression fixes
• Stop building for 32-bit x86

Changes in drat2er:

• Switch to different upstream repository
• Drop upstreamed arg-order and cli11-2-compat patches
• BR catch-devel instead of catch2-devel

Changes in kissat:

• Stop building for 32-bit x86

Changes in lfsc:

• Update to 20230914 git snapshot
• Drop upstreamed stdint patch