release v0.9.4

Author: tias

changelog.md

@@ -1,5 +1,23 @@
 # Change log
 
+## 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 domains, for debugging with domains

cpmpy/__init__.py

@@ -14,7 +14,7 @@
 """
 # Tias Guns, 2019-2021
 
-__version__ = "0.9.3"
+__version__ = "0.9.4"
 
 
 from .expressions import *

setup.py

@@ -27,7 +27,7 @@ def get_version(rel_path):
     description='A numpy-based library for modeling constraint programming problems',
     long_description=long_description,
     long_description_content_type="text/markdown",
-    url="https://github.com/tias/cppy",
+    url="https://github.com/CPMpy/cpmpy",
     packages=find_packages(),
     include_package_data=True,
     zip_safe=False,