diff --git a/changelog.md b/changelog.md index 7c5928bfc..3b5b70e0f 100644 --- a/changelog.md +++ b/changelog.md @@ -1,5 +1,16 @@ # Change log +## 0.9.2 +* pysat: tseitin encode all logical operators +* to_cnf tseitin encoding for logical operators, with tests +* better chaining of n-ary operators, fixes #39 +* doc: beginner tutorial add optimisation +* doc: extend multiple solutions, minisearch, diverse solutions +* ort: add OrtSolutionPrinter and solve(solution_callback=...) +* example of diverse solutions +* vectorized 'abs' operator +* flatten: fix some bound computations + ## 0.9.1 * easier hyperparameter search with `param_combinations()` helper function in cpmpy.solvers diff --git a/cpmpy/__init__.py b/cpmpy/__init__.py index a93eb8771..1b8cef5d3 100644 --- a/cpmpy/__init__.py +++ b/cpmpy/__init__.py @@ -14,7 +14,7 @@ """ # Tias Guns, 2019-2021 -__version__ = "0.9.1" +__version__ = "0.9.2" from .expressions import *