Release v0.10.0

Release notes

Added

• New solver: Rc2 MaxSAT solver #729
• Expended to_cnf using pindakaas encoding backend #782
• Linearisation of multiplication between Boolean and Integer #769
• Solution callback for Hexaly #787, #809
• Start of solver parametrised testsuite #817
• Documentation overview of solver capabilities #728
• Typehints and documentation update for global constraints #812
• Typehints for Solve and SolveAll #775
• OCUS in tools, allowing meta-constraints on MUSes #698
• Fix supported solver version ranges #816
• Transversal / hitting set example (contributed by @nandorsieben) #790
• Nurserostering benchmark #789
• Prediction+optimisation example of scheduling surgeries under uncertainty 5a87c5e
• Decision-focused learning example #621

Internal improvements

• Globals define their own negation #703
• Change cp.sum(*iterable, **kwargs) to cp.sum(iterable, **kwargs) #756
• Division and Modulo as global functions #807
• Refactor decompose for global functions #793
• Refactor and update Cumulative and NoOverlap constraints #694

Changed

• Throw ModuleNotFoundError when module is not installed #825

Fixed

• Fix support for newest OR-Tools 9.15 release #821
• Check Hexaly license before using solver #826
• Fix to_cnf clause bypass issue #824
• Fix bug handle pdk unsat with conditions #811
• Missing packaging dependency in setup.py #813
• Abs constraint handle None #794
• Timeout under assumptions for Exact #805
• Support for expressions in start, duration and end in CPO #802
• Consistent version checks #792
• Missing constraint tags for Pumpkin #799
• Z3 negate maximisation objective #786
• Scaled Booleans in Pumpkin interface #776

Full Changelog: v0.9.29...v0.10.0