[](https://crates.io/crates/zelen)
[](https://docs.rs/zelen)
[](https://opensource.org/licenses/MIT)
This crate aims to integrate the Selen Solver with the FlatZinc format from MiniZinc.
In implementation.