Updated version.

paolodragone · Jun 8, 2016 · 289c2c7 · 289c2c7
1 parent a7cbae3
commit 289c2c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pymzn/__init__.py b/pymzn/__init__.py
@@ -1,6 +1,6 @@
 # -*- coding: utf-8 -*-
 """Wrapper module for the MiniZinc tool pipeline."""
-__version__ = '0.9.3'
+__version__ = '0.9.4'
 
 from .mzn import fzn_gecode, minizinc, mzn2fzn, solns2out, MiniZincError, run
 from .dzn import dzn, parse_dzn, dict2array, MiniZincParsingError