5.0.1

5.0.1 - 10 Apr 2026

Major features:

Constraints & LCG

• Add table reformulation for pow constraint when LCG is on
• Reduce runtime for building table reformulations by excluding the result variable from the tuple generation
• Fix integer overflow in PropDivXYZLight
• Fix bounded domains management with LCG in PropDivXYZ
• Faster modulo constraint with large domains
• Add arithm preprocessing
• Fix decreasing constraint

Deprecated API (to be removed in next release):

Other closed issues and pull requests:

See milestone 5.0.1

Contributors to this release:

• Charles Prud'homme (@cprudhom)
• Jean-Guillaume Fages (@jgFages)

Full Changelog: v5.0.0...v5.0.1