- use minizinc 2.8.2 as maximum version in CI
disjunctive
constraint
- array slices with upper slice as operations should compile correctly now
- simplify and fix layout of
count
,cumulative
table
andmax
examples
- use minizinc 2.7.6 as maximum version in CI (as in minizinc-python)
- use minizinc 2.6.0 as minimum version in CI (as in minizinc-python)
- add 3.12 CPython
table
constraintcontains
method for arrays and sets, to check if elem presented in collectionexcept_
argument toall_different
constraint
cumulative
constraintforall
constraint now supports enums which is not model's field
- use minizinc 2.7.2 as maximum version in CI
- use minizinc 2.5.4 as minimum version in CI (as in minizinc-python)
- var can be parametrized (you can assign values to them)
- int fallback as a result of operation where both operands are float
- use ruff for style checks
- some arguments are made positional only
- fix enum doc example
- some minor fixes for internal code
- add 3.11 CPython
- drop 3.7 CPython
- drop pypy
- available_solver_tags function to get available solvers
- optimization_level, n_processes, timeout and random_seed arg to solve
- solve_maximize now correctly use solver arg
- add some type hints
- validation for float ranges in some constraints, e.g. forall
- ranges with float values correctly set bigger limit
- check for minizinc executable is available, as it seems, python-minizinc implement it by itself.
- sets support enums
- integer sets
- refactor some code
- zython doesn't redefine builtin range function,
use
zn.range
for float, zython's var/par types.
- drop 3.6 CPython
- add 3.10 CPython
- possibility to choose solver
- float fields support
- float ranges support
- an error about minizinc wasn't found in $PATH was changed to warning
- check for minizinc in $PATH for startup
- documentation page about model parts
- Use minizinc 2.5.5 in CI.
- some method of Operation and Constraint classes which were accessible by and visible for user are now hidden
increasing
anddecreasing
constraints
allequal
constraintndistinct
functionexcept_0
argument toalldifferent
constraint
- project description in readme.md
- link to the html doc
- initial release