0.9.23

Quick release, because we want the updated tools to be available.

What's Changed

• Extension to tools: MARCO and SMUS
• Added tests for incremental solving and fixed incemental solving with objective in Exact
• Cumulative decomposition fix when capacity was numpy integer.

Full Changelog: v0.9.22...v0.9.23

v0.9.22

What's New

• New solver: GlasgowConstraintSolver (GCS)
• Upgraded to Exact 2
• Minizinc print: easily extract MiniZinc and FlatZinc text from CPMpy model.
• Update TEMPLATE.py to make it clearer how to add new solvers.
• SolverLookup gives clear error message in stead of returning None
• allow kwargs in Model.solve()
• call python builtins for sum, abs, min and max without expressions in the arguments.
• All solvers now have a native_model() function, to allow native solver access.
• It's now possible to name multiple new variables at once, by providing the names in a list.
• Linearize transformation can now rewrite modulo (if multiplication is supported)
• Fix behaviour of "all", "any", "max", "min", "sum", "prod" on higher dimensional NDVarArrays (maintain dimensionality)
• Value function of expressions now always returns a python integer, where it could sometimes be a numpy integer.
• Fixed performance issue where all solver vars where seen as user vars when solving with MiniZinc

Documentation

• Overall improvement of documentation
• update documentation of 'comparison' transformation

New Contributors

Thanks to 2 new contributors!

• @ThomSerg and @sin3000x

Full Changelog: v0.9.21...v0.9.22

v0.9.21

New Global constraints:

• Increasing, Decreasing, IncreasingStrict, DecreasingStrict
• Lexicographical ordering constraints: LexLess, LexLessEq, LexChainLess, LexChainLessEq
• Scheduling constraints Precedence and NoOverlap
• Closed version of GCC
• AllDiffExceptN, AllEqualExceptN
• Nvalues except n
• Negative table
• Among

Bug Fixes:

• count nested in a wsum crashed MiniZinc #461
• AllDifferentExcept0 now correctly works with MiniZinc
• User variables that get simplified away during transformation steps are now saved.
• Add missing case in simplify bool transformation.

Quality of life

• Removed type restriction for InDomain
• Extending automatic testsuite
• Check if minizinc executable is installed

Full Changelog: v0.9.20...v0.9.21

v0.9.20

What's Changed

• Choco is now a tier 2 solver, available to use after installing the pychoco package!
• new DIMACS parser and writer
• SolverLookup is now a classmethod for easier use of custom solvers.
• Fixed a bug where expression bounds didn't get rounded to integers when creating an intvar
• Added a warning when expressions have non-integer bounds, as these will be rounded
• Fixed a bug in our helper function is_bool, now also recognises our BoolVal objects
• Updated our ortools and minizinc version requirements.

Full Changelog: v0.9.19...v0.9.20

0.9.19

What's Changed

• Update on tools/subsets, add mcs and mss tools with grow-variants.
• Full propagation with exact
• Adding NValue global constraint
• Minizinc result now saved in solver object, this allows to access the solver statistics.

Documentation

• Update docs for tools.
• Docs on solver statistics
• Format solver api, and add missing links in docs
• Update version and copyright date
• Remove bug where python comment (#) got interpreted as a header.

Bug Fixes

• Properly handle reified global constraints for Minizinc
• Correctly handle global constraints with list-arguments of length 1
• Add missing edge case in flatten
• Type check table constraint first argument, cannot be a constant.

Full Changelog: v0.9.18...v0.9.19

0.9.18

Minor release with some bugfixes, we are trying to do monthly releases now, so they will be more concise.

What's new?

• get_bounds() helper function now works on arrays and lists, returning arrays (lists) of bounds
• Pysdd added to our automated GitHub tests
• Pysdd does not support Xor anymore.

Bugfixes

• Fixed Cumulative bug when capacity was a numpy int.
• Cumulative now works in Minizinc with only one task.
• Docs look good again
• Corrected default parameter value in docs
• Fixed visualisations in Nonogram and Room assignment notebook examples
• Adopted the new ORtools 9.8 names of tuneable parameters.

New Contributors

• @KennyVDV made their first contribution by adding a new example: chess_position

0.9.17

Change log

0.9.17

Some new solvers supported at tier 3, update to our transformations and bugfixes.

Solver tier updates:

• Choco and SCIP our now available as tier 3 solvers in separate pull requests.

New transformations:

• Canonical comparison, puts comparisons in a canonical normal form.
• only_bv_reifies: the bool var is sent to the left part and the boolexpr to the right part in reifications. (split out of only_bv_implies)
• Only_implies: renamed what's left from only_bv_implies, that being removing all '==' double reifications.

What else is new?

• Allow description for a constraint
• Updated linearize transformation
• small improvements to our docs
• solution hints in Exact
• New, more efficient Xor decomposition
• added QuickXplain to our tools.
• Did some performance tests and optimized our flatten_constraint transformation by not applying distributivity of disjunctions over conjunctions.

Bugfixes:

• mark Inverse as supported in OR-tools
• removed unnecessary use of simplify bool in minizinc and z3
• fix possible overflow in bound computations
• Solution hinting fix, when giving N-D variables and values
• Solution hinting remove python 3.9 exclusive code
• Bugfixes in MUS-tool

v0.9.16

Change log

0.9.16

One of our most substantial releases so far, with special focus on extending and improving the
transformations for all allowed input and all solvers.

Solver tier updates:

• MiniZinc and Z3 are now Tier1 solvers (passes all internal tests, passes our bigtest suit, will be fuzztested in the near future)
• new solver: Exact in Tier2 (passes all internal tests, might fail on edge cases in bigtest)
  Currently Exact is not supported on Windows

Revamped documentation

• simpler readme on github, with badges
• simpler index file on readthedocs
• consolidated scattered documentation into one prominent 'modeling.html' file on readthedocs

Global constraints

• Global functions (Minimum, Maximum, Element, Count, Abs) now separated from Global constraints in the class diagram
• New global constraint: InDomain, to specify non-interval domains.
• Abs is now a global
• Multi-dimensional element constraint supported

New transformations:

• decompose_in_tree. Unsupported globals now get decomposed at tree-level.
• simplify_boolean, that simplifies boolean (and equivalent-to-Boolean) expressions.
• push_down_negation. Pushes down the not-operator so that it only occurs at the leaves of the expression tree

What else is new?

• Warning messages for common beginner mistakes.
• type-checks in operator constructor and in global constraints/functions.
• our NDVarArray now support NumPy-like method 'prod', and supports the axis argument for min, max, sum, prod, any and all
• Updated tuner tool: added a (random) grid search tuner
• pysat: accept reified cardinality constraints
• z3: handle mixed integer/boolean expressions
• Add explicit requirements for jupyter notebooks examples
• Add n-queens 1000 example.
• solver interfaces: make __add__() directly call transform, simpler and more explicit (#312)

Bugfixes:

• Allow numpy booleans in boolvals
• negating boolval fix
• check for bv == iv in normalized boolexpr and only_bv_implies
• Inverse decomposition with non vararrays
• Minizinc integer bounds fix
• Minizinc False literal now gets correctly translated.

0.9.15

Re-release of 0.9.14 due to github action pip-release screw-up

0.9.14

Hotfix release

Our builtin-overwrites 'any' and 'all' returned BoolVal's, and they did not yet have a __bool__() property so they would be correctly evaluated when used in 'if' functions and other standard python contexts. This can easily break user code that uses any or all when doing 'from cpmpy import *'.

Unfortunately we merged the BoolVal branch with the above behaviour, even though we had a version that fixed it, but this was not yet pushed to the branch.

• This hotfix release fixes it so that any and all return standard Booleans again (and BoolVal has a __bool__() also).

• We also include a small fix to make the Inverse global constraint decomposition work for non-variable arrays too.

0.9.13

Solid progress release.

To make more clear how well-supported each of the solvers are, we introduced a tiered classification:

• Tier 1 solvers: passes all internal tests, passes our bigtest suit, will be fuzztested in the near future

  • "ortools" the OR-Tools CP-SAT solver
  • "pysat" the PySAT library and its many SAT solvers ("pysat:glucose4", "pysat:lingeling", etc)

• Tier 2 solvers: passes all internal tests, might fail on edge cases in bigtest

  • "minizinc" the MiniZinc modeling system and its many solvers ("minizinc:gecode", "minizinc:chuffed", etc)
  • "z3" the SMT solver and theorem prover
  • "gurobi" the MIP solver
  • "PySDD" a Boolean knowledge compiler

• Tier 3 solvers: they are work in progress and live in a pull request

  • "gcs" the Glasgow Constraint Solver
  • "exact" the Exact pseudo-boolean solver

We hope to upgrade many of these solvers to higher tiers, as well as adding new ones. Reach out on github if you want to help out.

New above the hood:

• added 'DirectConstraint', a generic way to post solver-specific constraints which CPMpy does not implement, with multiple examples such as ortools' automaton, circuit, multicircuit
• added 'Count' global constraint with decomposition
• added 'GlobalCardinalityCount' (GCC) global constraint with decomposition
• added 'Inverse' global constraint with with decomposition
• a Boolean 'IfThenElse' global constraint with decomposition c->if_true & (~c)->if_false

New under the hood:

• a BoolVal() expression object for constants True/False, better handling/cleaning of Bool constants as a result
• added a highly efficient 'toplevel_list' transformation that all solvers call to get a list of CPMpy expressions, simplifies what to expect as input for transformations
• 'decompose_globals' is now a transformation that decomposes the unsupported globals, it also does it best to properly handle 'numeric' globals, reified globals and negated globals

Changed:

• added missing decomposition for 'Table' global constraint
• highly optimized the 'get_variables' transformation
• pushed bounds computation into the expressions, more robust and extensible
• removed custom deepcopy() for Python's better built-in one
• slightly better handling of incomplete (partial) functions, e.g. in bounds computation (ongoing work)
• fixed bugs in MiniZinc and Z3's rewriting, related to int vs bool

0.9.12

New:

• examples/ use notebooks with graphic visualisation whenever possible
• examples/ add pareto optimal enumeration
• new global: AllDifferentExcept0, with tests

Changed:

• minizinc: status time in seconds
• reify_rewrite: very special case, if (non-total) element elemnt-wise decomp returns false,
• flatten: avoid unnecessary sum decompositions
• SolverLookup: would select the last one if an invalid was given
• solveAll() return warning if an objective function is present
• comparing a boolean expression with an intvar crashed most solvers (#208)
• z3: bugfixes in translation
• globals: give xor a logic-based decomposition
• tests: multiple improvements, run with all solvers

0.9.11

FuzzTest bugfix release

• core: importing a file and adding constrains can turn problems wrongly unsatisfiable (#174)

• core: Added floordivision '//' on integer variables (#201)

• core: Wsum care (#182)

• core: cumulative can not assume args are numpy array (#178)

• core: add custom cpmpy exceptions

• core: #172 fix - memory crash on mod

• core: double negation bug #170

• globals: Enable deep copy of Cumulative global constraint (#169)

• examples: csplib prob001 car sequencepy sliding window view only numpy 1200+ (#186)

• tests: (re)active constraint tests on ortools as default solver (#180)

• tests: fix deprecation warnings

• tests: skipif when solvers not available

• tests: enable automatic tests on github

• docs: multiple fixes

• docs: add developer guidelines

• transf: Make line-expr more linear (#200)

• solvers: minizinc stopped with a non zero exit code but did not output an error message (#192)

• solvers: gurobi: timeout status fix

• tools: Example for maximal propagate set of constraints (#147)

• tools: prevent incrementality of solvers during tuning

• tools: mus tool crashes with only 1 soft constraint (#196)

0.9.10

New:

• tools: added MUS computation to tools
• tools: added hypaerparameter tuning (with Decaprio, CPAIOR22) to tools
• cumulative global constraint, with native ortools and decomposition
• solvers: Z3 interface. Implemented both SAT and OPT subsolvers
• examples: CSPlib problems, with data, all runnable
• examples: IJCAI22 tutorial on 'CP as oracle' slides and notebooks
• variables: add v.clear() to easily clear variables their value

Changed:

• critical bugfix in double negation normalization
• bugfixes in solver translations
• bugfix in negation of globals normalization
• docs: improved docs on hyperparameter search and adding and testing solvers
• gurobi: fix timeout status
• bugfix in element decomposition

0.9.9

Stabilizing the core implementations and a knowledge compiler as solver

New:

• New example: ortools as propagator (only propagation)
• Copy method for model and constraints (and hence hash functions)
• Bools are now treated as numeric when needed
• Xor is now a global constraint (with a decomposition)
• the reify-rewrite transformation: most reifications automatically supported
• the only-numexpr-equality transformation, now generic for all solvers that want
• PySDD as solver: knowledge compiler for Boolean logic and solveAll model counting

Changed:

• Docs: many additions (direct solver access, solveAll, adding a solver guide) and improvements
• Transformation flatten has cleaner implementation
• Bugfixes in bound computations (modulo, weighted sum)
• MiniZinc: fix allequal translation, use integer division
• Reification of Elements now takes range of index variable into account
• Examples: small fixes and improvements
• Tests: more and better

0.9.8

An exciting 'technical' release that opens the door to
add many more solvers

• API change: unified interfaces of solvers/
• New: the gurobi MIP solver
• New: transformations/linearisation/
• More extensive testing
• PySAT: support time_limit argument to solve

0.9.7

• New: s.solveAll(): convenient (efficient) solution enumeration
• New: added sum() to python_builtins, behaves like np.sum
• Behind the scenes: add 'wsum' weighted sum operator
• bugfix for sum: always create new expression, do not modify inplace
• bugfix: allow model with only an objective

0.9.6

• Added tutorial video and used notebooks
  https://www.youtube.com/watch?v=A4mmmDAdusQ

• Added to examples/:

  • LP/CP contest 2021, first problem
  • wolf-goat-cabbage and n-puzzle rework
  • palindrome day problem
  • graph coloring australia (with actual map)

• Added to examples/advanced/:

  • CPMpy versions of visual examples from A. Schiendorfer
  • visual sudoku example with pytorch neural network classification
  • cost-optimal unsatisfiable subset search example
  • step-wise explanations of satisf...

v0.9.15

Change log

0.9.15

Re-release of 0.9.14 due to github action pip-release screw-up

0.9.14

Hotfix release

Our builtin-overwrites 'any' and 'all' returned BoolVal's, and they did not yet have a __bool__() property so they would be correctly evaluated when used in 'if' functions and other standard python contexts. This can easily break user code that uses any or all when doing 'from cpmpy import *'.

Unfortunately we merged the BoolVal branch with the above behaviour, even though we had a version that fixed it, but this was not yet pushed to the branch.

• This hotfix release fixes it so that any and all return standard Booleans again (and BoolVal has a __bool__() also).

• We also include a small fix to make the Inverse global constraint decomposition work for non-variable arrays too.

0.9.13

Solid progress release.

To make more clear how well-supported each of the solvers are, we introduced a tiered classification:

• Tier 1 solvers: passes all internal tests, passes our bigtest suit, will be fuzztested in the near future

  • "ortools" the OR-Tools CP-SAT solver
  • "pysat" the PySAT library and its many SAT solvers ("pysat:glucose4", "pysat:lingeling", etc)

• Tier 2 solvers: passes all internal tests, might fail on edge cases in bigtest

  • "minizinc" the MiniZinc modeling system and its many solvers ("minizinc:gecode", "minizinc:chuffed", etc)
  • "z3" the SMT solver and theorem prover
  • "gurobi" the MIP solver
  • "PySDD" a Boolean knowledge compiler

• Tier 3 solvers: they are work in progress and live in a pull request

  • "gcs" the Glasgow Constraint Solver
  • "exact" the Exact pseudo-boolean solver

We hope to upgrade many of these solvers to higher tiers, as well as adding new ones. Reach out on github if you want to help out.

New above the hood:

• added 'DirectConstraint', a generic way to post solver-specific constraints which CPMpy does not implement, with multiple examples such as ortools' automaton, circuit, multicircuit
• added 'Count' global constraint with decomposition
• added 'GlobalCardinalityCount' (GCC) global constraint with decomposition
• added 'Inverse' global constraint with with decomposition
• a Boolean 'IfThenElse' global constraint with decomposition c->if_true & (~c)->if_false

New under the hood:

• a BoolVal() expression object for constants True/False, better handling/cleaning of Bool constants as a result
• added a highly efficient 'toplevel_list' transformation that all solvers call to get a list of CPMpy expressions, simplifies what to expect as input for transformations
• 'decompose_globals' is now a transformation that decomposes the unsupported globals, it also does it best to properly handle 'numeric' globals, reified globals and negated globals

Changed:

• added missing decomposition for 'Table' global constraint
• highly optimized the 'get_variables' transformation
• pushed bounds computation into the expressions, more robust and extensible
• removed custom deepcopy() for Python's better built-in one
• slightly better handling of incomplete (partial) functions, e.g. in bounds computation (ongoing work)
• fixed bugs in MiniZinc and Z3's rewriting, related to int vs bool

0.9.12

New:

• examples/ use notebooks with graphic visualisation whenever possible
• examples/ add pareto optimal enumeration
• new global: AllDifferentExcept0, with tests

Changed:

• minizinc: status time in seconds
• reify_rewrite: very special case, if (non-total) element elemnt-wise decomp returns false,
• flatten: avoid unnecessary sum decompositions
• SolverLookup: would select the last one if an invalid was given
• solveAll() return warning if an objective function is present
• comparing a boolean expression with an intvar crashed most solvers (#208)
• z3: bugfixes in translation
• globals: give xor a logic-based decomposition
• tests: multiple improvements, run with all solvers

0.9.11

FuzzTest bugfix release

• core: importing a file and adding constrains can turn problems wrongly unsatisfiable (#174)

• core: Added floordivision '//' on integer variables (#201)

• core: Wsum care (#182)

• core: cumulative can not assume args are numpy array (#178)

• core: add custom cpmpy exceptions

• core: #172 fix - memory crash on mod

• core: double negation bug #170

• globals: Enable deep copy of Cumulative global constraint (#169)

• examples: csplib prob001 car sequencepy sliding window view only numpy 1200+ (#186)

• tests: (re)active constraint tests on ortools as default solver (#180)

• tests: fix deprecation warnings

• tests: skipif when solvers not available

• tests: enable automatic tests on github

• docs: multiple fixes

• docs: add developer guidelines

• transf: Make line-expr more linear (#200)

• solvers: minizinc stopped with a non zero exit code but did not output an error message (#192)

• solvers: gurobi: timeout status fix

• tools: Example for maximal propagate set of constraints (#147)

• tools: prevent incrementality of solvers during tuning

• tools: mus tool crashes with only 1 soft constraint (#196)

0.9.10

New:

• tools: added MUS computation to tools
• tools: added hypaerparameter tuning (with Decaprio, CPAIOR22) to tools
• cumulative global constraint, with native ortools and decomposition
• solvers: Z3 interface. Implemented both SAT and OPT subsolvers
• examples: CSPlib problems, with data, all runnable
• examples: IJCAI22 tutorial on 'CP as oracle' slides and notebooks
• variables: add v.clear() to easily clear variables their value

Changed:

• critical bugfix in double negation normalization
• bugfixes in solver translations
• bugfix in negation of globals normalization
• docs: improved docs on hyperparameter search and adding and testing solvers
• gurobi: fix timeout status
• bugfix in element decomposition

0.9.9

Stabilizing the core implementations and a knowledge compiler as solver

New:

• New example: ortools as propagator (only propagation)
• Copy method for model and constraints (and hence hash functions)
• Bools are now treated as numeric when needed
• Xor is now a global constraint (with a decomposition)
• the reify-rewrite transformation: most reifications automatically supported
• the only-numexpr-equality transformation, now generic for all solvers that want
• PySDD as solver: knowledge compiler for Boolean logic and solveAll model counting

Changed:

• Docs: many additions (direct solver access, solveAll, adding a solver guide) and improvements
• Transformation flatten has cleaner implementation
• Bugfixes in bound computations (modulo, weighted sum)
• MiniZinc: fix allequal translation, use integer division
• Reification of Elements now takes range of index variable into account
• Examples: small fixes and improvements
• Tests: more and better

0.9.8

An exciting 'technical' release that opens the door to
add many more solvers

• API change: unified interfaces of solvers/
• New: the gurobi MIP solver
• New: transformations/linearisation/
• More extensive testing
• PySAT: support time_limit argument to solve

0.9.7

• New: s.solveAll(): convenient (efficient) solution enumeration
• New: added sum() to python_builtins, behaves like np.sum
• Behind the scenes: add 'wsum' weighted sum operator
• bugfix for sum: always create new expression, do not modify inplace
• bugfix: allow model with only an objective

0.9.6

• Added tutorial video and used notebooks
  https://www.youtube.com/watch?v=A4mmmDAdusQ

• Added to examples/:

  • LP/CP contest 2021, first problem
  • wolf-goat-cabbage and n-puzzle rework
  • palindrome day problem
  • graph coloring australia (with actual map)

• Added to examples/advanced/:

  • CPMpy versions of visual examples from A. Schiendorfer
  • visual sudoku example with pytorch neural network classification
  • cost-optimal unsatisfiable subset search example
  • step-wise explanations of satisfiable problems
  • smart predict + optimize with integrated pytorch training
  • counterfactual explanations of optimisation problems
  • VRP by learning from historical data

• API change:

  • m.solve() now only returns True/False, also for optimisation
  • new: m.objective_value(), to get the objective after solving
  • new: SolverLookup.get(solvername, model) for easy solver getting
    names also allow e.g. 'minizinc:chuffed' and 'pysat:glucose4'

• pysat: better checking of correct package installed

• pysat: automatic encoding of cardinality constraints like sum(x) >= v

• to_cnf: more testing, some bugfixes

• ort: basic support for 'power' operator

• ort: added installation instructions for or-tools on Apple M1

• ort: bugfix in solution hinting, clear hints once

• ort: fix log callback duplicate printing

• mzn: generic fix for offset 1/0 errors

• model: better handle empty constraints and non-standard lists

• model: can now save_to/load_from pickle files

• bugfixes in bounds computations for modulo operator

• get_vars: ensure the transformation returns unique elements

• requirements included minizinc, no longer the case (it is optional)

• many documentation updates

0.9.5

• fix bug in ort limitation check for 'modulo' operator
• mzn: better doc and check on single solution output
• various documentation updates

0.9.4

Major:

• re-enabled MiniZinc as a backend solver!
• reworked how solvers (and subsolvers) are accessed
  -> you can now do model.solve(solver="minizinc:chuffed") and the like
• added a SolverLookup.solvernames() to get supported names
• a debugging guide in the docs

Minor:

• various documentation and test updates
• some more explicit errors
• add vectorized operations that were missing (thanks Hakan)
• pysat: fix bug where constraints were duplicated
• ort: show validation error when model is invalid
• ort: work around 'xor' not being reifiable
• add missing negated_normal for 'xor'

0.9.3

• make progress logging work in jupyter/IPython (beta ortools feature)
• transf/get_variables now has print_variables that prints d...

v0.9.14

Change log

0.9.14

Hotfix release

Our builtin-overwrites 'any' and 'all' returned BoolVal's, and they did not yet have a __bool__() property so they would be correctly evaluated when used in 'if' functions and other standard python contexts. This can easily break user code that uses any or all when doing 'from cpmpy import *'.

Unfortunately we merged the BoolVal branch with the above behaviour, even though we had a version that fixed it, but this was not yet pushed to the branch.

• This hotfix release fixes it so that any and all return standard Booleans again (and BoolVal has a __bool__() also).

• We also include a small fix to make the Inverse global constraint decomposition work for non-variable arrays too.

0.9.13

Solid progress release.

To make more clear how well-supported each of the solvers are, we introduced a tiered classification:

• Tier 1 solvers: passes all internal tests, passes our bigtest suit, will be fuzztested in the near future

  • "ortools" the OR-Tools CP-SAT solver
  • "pysat" the PySAT library and its many SAT solvers ("pysat:glucose4", "pysat:lingeling", etc)

• Tier 2 solvers: passes all internal tests, might fail on edge cases in bigtest

  • "minizinc" the MiniZinc modeling system and its many solvers ("minizinc:gecode", "minizinc:chuffed", etc)
  • "z3" the SMT solver and theorem prover
  • "gurobi" the MIP solver
  • "PySDD" a Boolean knowledge compiler

• Tier 3 solvers: they are work in progress and live in a pull request

  • "gcs" the Glasgow Constraint Solver
  • "exact" the Exact pseudo-boolean solver

We hope to upgrade many of these solvers to higher tiers, as well as adding new ones. Reach out on github if you want to help out.

New above the hood:

• added 'DirectConstraint', a generic way to post solver-specific constraints which CPMpy does not implement, with multiple examples such as ortools' automaton, circuit, multicircuit
• added 'Count' global constraint with decomposition
• added 'GlobalCardinalityCount' (GCC) global constraint with decomposition
• added 'Inverse' global constraint with with decomposition
• a Boolean 'IfThenElse' global constraint with decomposition c->if_true & (~c)->if_false

New under the hood:

• a BoolVal() expression object for constants True/False, better handling/cleaning of Bool constants as a result
• added a highly efficient 'toplevel_list' transformation that all solvers call to get a list of CPMpy expressions, simplifies what to expect as input for transformations
• 'decompose_globals' is now a transformation that decomposes the unsupported globals, it also does it best to properly handle 'numeric' globals, reified globals and negated globals

Changed:

• added missing decomposition for 'Table' global constraint
• highly optimized the 'get_variables' transformation
• pushed bounds computation into the expressions, more robust and extensible
• removed custom deepcopy() for Python's better built-in one
• slightly better handling of incomplete (partial) functions, e.g. in bounds computation (ongoing work)
• fixed bugs in MiniZinc and Z3's rewriting, related to int vs bool

0.9.12

New:

• examples/ use notebooks with graphic visualisation whenever possible
• examples/ add pareto optimal enumeration
• new global: AllDifferentExcept0, with tests

Changed:

• minizinc: status time in seconds
• reify_rewrite: very special case, if (non-total) element elemnt-wise decomp returns false,
• flatten: avoid unnecessary sum decompositions
• SolverLookup: would select the last one if an invalid was given
• solveAll() return warning if an objective function is present
• comparing a boolean expression with an intvar crashed most solvers (#208)
• z3: bugfixes in translation
• globals: give xor a logic-based decomposition
• tests: multiple improvements, run with all solvers

0.9.11

FuzzTest bugfix release

• core: importing a file and adding constrains can turn problems wrongly unsatisfiable (#174)

• core: Added floordivision '//' on integer variables (#201)

• core: Wsum care (#182)

• core: cumulative can not assume args are numpy array (#178)

• core: add custom cpmpy exceptions

• core: #172 fix - memory crash on mod

• core: double negation bug #170

• globals: Enable deep copy of Cumulative global constraint (#169)

• examples: csplib prob001 car sequencepy sliding window view only numpy 1200+ (#186)

• tests: (re)active constraint tests on ortools as default solver (#180)

• tests: fix deprecation warnings

• tests: skipif when solvers not available

• tests: enable automatic tests on github

• docs: multiple fixes

• docs: add developer guidelines

• transf: Make line-expr more linear (#200)

• solvers: minizinc stopped with a non zero exit code but did not output an error message (#192)

• solvers: gurobi: timeout status fix

• tools: Example for maximal propagate set of constraints (#147)

• tools: prevent incrementality of solvers during tuning

• tools: mus tool crashes with only 1 soft constraint (#196)

0.9.10

New:

• tools: added MUS computation to tools
• tools: added hypaerparameter tuning (with Decaprio, CPAIOR22) to tools
• cumulative global constraint, with native ortools and decomposition
• solvers: Z3 interface. Implemented both SAT and OPT subsolvers
• examples: CSPlib problems, with data, all runnable
• examples: IJCAI22 tutorial on 'CP as oracle' slides and notebooks
• variables: add v.clear() to easily clear variables their value

Changed:

• critical bugfix in double negation normalization
• bugfixes in solver translations
• bugfix in negation of globals normalization
• docs: improved docs on hyperparameter search and adding and testing solvers
• gurobi: fix timeout status
• bugfix in element decomposition

0.9.9

Stabilizing the core implementations and a knowledge compiler as solver

New:

• New example: ortools as propagator (only propagation)
• Copy method for model and constraints (and hence hash functions)
• Bools are now treated as numeric when needed
• Xor is now a global constraint (with a decomposition)
• the reify-rewrite transformation: most reifications automatically supported
• the only-numexpr-equality transformation, now generic for all solvers that want
• PySDD as solver: knowledge compiler for Boolean logic and solveAll model counting

Changed:

• Docs: many additions (direct solver access, solveAll, adding a solver guide) and improvements
• Transformation flatten has cleaner implementation
• Bugfixes in bound computations (modulo, weighted sum)
• MiniZinc: fix allequal translation, use integer division
• Reification of Elements now takes range of index variable into account
• Examples: small fixes and improvements
• Tests: more and better

0.9.8

An exciting 'technical' release that opens the door to
add many more solvers

• API change: unified interfaces of solvers/
• New: the gurobi MIP solver
• New: transformations/linearisation/
• More extensive testing
• PySAT: support time_limit argument to solve

0.9.7

• New: s.solveAll(): convenient (efficient) solution enumeration
• New: added sum() to python_builtins, behaves like np.sum
• Behind the scenes: add 'wsum' weighted sum operator
• bugfix for sum: always create new expression, do not modify inplace
• bugfix: allow model with only an objective

0.9.6

• Added tutorial video and used notebooks
  https://www.youtube.com/watch?v=A4mmmDAdusQ

• Added to examples/:

  • LP/CP contest 2021, first problem
  • wolf-goat-cabbage and n-puzzle rework
  • palindrome day problem
  • graph coloring australia (with actual map)

• Added to examples/advanced/:

  • CPMpy versions of visual examples from A. Schiendorfer
  • visual sudoku example with pytorch neural network classification
  • cost-optimal unsatisfiable subset search example
  • step-wise explanations of satisfiable problems
  • smart predict + optimize with integrated pytorch training
  • counterfactual explanations of optimisation problems
  • VRP by learning from historical data

• API change:

  • m.solve() now only returns True/False, also for optimisation
  • new: m.objective_value(), to get the objective after solving
  • new: SolverLookup.get(solvername, model) for easy solver getting
    names also allow e.g. 'minizinc:chuffed' and 'pysat:glucose4'

• pysat: better checking of correct package installed

• pysat: automatic encoding of cardinality constraints like sum(x) >= v

• to_cnf: more testing, some bugfixes

• ort: basic support for 'power' operator

• ort: added installation instructions for or-tools on Apple M1

• ort: bugfix in solution hinting, clear hints once

• ort: fix log callback duplicate printing

• mzn: generic fix for offset 1/0 errors

• model: better handle empty constraints and non-standard lists

• model: can now save_to/load_from pickle files

• bugfixes in bounds computations for modulo operator

• get_vars: ensure the transformation returns unique elements

• requirements included minizinc, no longer the case (it is optional)

• many documentation updates

0.9.5

• fix bug in ort limitation check for 'modulo' operator
• mzn: better doc and check on single solution output
• various documentation updates

0.9.4

Major:

• re-enabled MiniZinc as a backend solver!
• reworked how solvers (and subsolvers) are accessed
  -> you can now do model.solve(solver="minizinc:chuffed") and the like
• added a SolverLookup.solvernames() to get supported names
• a debugging guide in the docs

Minor:

• various documentation and test updates
• some more explicit errors
• add vectorized operations that were missing (thanks Hakan)
• pysat: fix bug where constraints were duplicated
• ort: show validation error when model is invalid
• ort: work around 'xor' not being reifiable
• add missing negated_normal for 'xo...