radevgit · radevgit · Oct 3, 2025 · Oct 3, 2025
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,8 +2,11 @@
 
 All notable changes to this project will be documented in this file.
 
+## [0.9.0] - 2025-10-03
+- **Removed**: FlatZinc parser and integration (moved to [Zelen](https://github.com/radevgit/zelen)
+
 ## [0.8.7] - 2025-10-03
-- FlatZinc Parser
+- FlatZinc Parser (deprecated - moved to Zelen in v0.9.0)
 
 ## [0.8.6] - 2025-10-01
 - Linear Constraint Helpers

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "selen"
-version = "0.8.7"
+version = "0.9.0"
 edition = "2024"
 description = "Constraint Satisfaction Problem (CSP) solver"
 rust-version = "1.88"

diff --git a/README.md b/README.md
@@ -45,23 +45,23 @@ post!(m, x * y == int(12));             // x * y == 12
 post!(m, z / y != int(0));              // z / y != 0
 ```
 
-**Import FlatZinc `.fzn` file**
+**FlatZinc/MiniZinc Support**
+
+For FlatZinc `.fzn` file support, use the separate [Zelen](https://github.com/radevgit/zelen) crate:
 ```rust
-use selen::prelude::*;
+use zelen::prelude::*;
 let mut model = Model::default();
 model.from_flatzinc_file("puzzle.fzn")?;
 let solution = model.solve()?;
-println!("Solution: {:?}", solution);
 ```
 
-
 ## Installation
 
 Add this to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-selen = "0.8.7"
+selen = "0.9"
 ```
 
 ## Examples

diff --git a/examples/flatzinc_simple.rs b/examples/flatzinc_simple.rs
diff --git a/src/flatzinc/ast.rs b/src/flatzinc/ast.rs
diff --git a/src/flatzinc/error.rs b/src/flatzinc/error.rs