zelen-0.5.1
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

zelen 0.5.1

Direct MiniZinc to Selen Solver

Crate
Source
Builds
Feature flags

..
sudoku.mzn
test_cli.mzn
test_data.dzn
test_data2.dzn
test_model.mzn
test_model2.mzn

1
2
3

% Simple model file
var 1..10: x;
var 1..10: y;