release 0.9.2

tias · tias · commit 8dba023c6183 · 2021-07-21T23:11:50.000+02:00
diff --git 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
@@ -14,7 +14,7 @@
 """
 # Tias Guns, 2019-2021
 
-__version__ = "0.9.1"
+__version__ = "0.9.2"
 
 
 from .expressions import *
