release 0.9.2

CPMpy · Jul 21, 2021 · 8dba023 · 8dba023
1 parent 25f73ff
commit 8dba023
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
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 *