radevgit · radevgit · Oct 15, 2025 · Oct 15, 2025
diff --git a/AGPRICE_MISSING_CONSTRAINTS.md b/AGPRICE_MISSING_CONSTRAINTS.md
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "zelen"
-version = "0.2.0"
+version = "0.3.0"
 edition = "2024"
 description = "Selen CSP solver parser for FlatZinc"
 rust-version = "1.88"

diff --git a/FLATZINC_MIGRATION.md b/FLATZINC_MIGRATION.md
diff --git a/README.md b/README.md
@@ -27,7 +27,7 @@ Add this to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-zelen = "0.2"
+zelen = "0.3"
 ```
 
 ### As a Command-Line Solver