Docs.rs
zelen-0.5.1
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
zelen 0.5.1
Direct MiniZinc to Selen Solver
Crate
Source
Builds
Feature flags
Documentation
..
edge_bool_only.mzn
edge_degenerate_domain.mzn
edge_float_only.mzn
edge_large_2d_array.mzn
edge_large_enum.mzn
edge_nested_3d.mzn
edge_no_constraints.mzn
edge_single_enum.mzn
edge_unsatisfiable.mzn
error_array_size_mismatch.mzn
error_duplicate_decl.mzn
error_invalid_number.mzn
error_type_mismatch.mzn
error_undefined_var.mzn
README.md
test_2d_grid.mzn
test_3d_cube.mzn
test_array2d_basic.mzn
test_array2d_error_mismatch.mzn
test_array2d_floats.mzn
test_array3d_basic.mzn
test_enum_2d.mzn
test_enum_array.mzn
test_enum_basic.mzn
test_enum_comprehensive.mzn
test_enum_demo.mzn
test_enum_var.mzn