zincite-query

Select MiniZinc source, inspect semantic facts, calculate reports and construct explicit data-edit candidates. Native results retain source locations and completeness; shared expressions are read and evaluated by Zirql. Both for/in/if and |/where comprehensions share tuple/list patterns and scoped predicates. Native model facts and source-preserving Data edits stay with Zincite.

Use a current stable Rust toolchain. Add the library with:

cargo add zincite-query@0.1.1

The standalone zincite-query command uses the same options and exit codes as zincite query:

cargo install --locked --version '=0.1.1' zincite-query
zincite-query --help

See the reader guides, library reference and Rust API.

The archive includes the query examples under tests/fixtures/. Repository guide commands using crates/zincite-query/tests/fixtures/ run from a v0.1.1 checkout; inside this crate, use tests/fixtures/ instead. The archive also includes the grow-wedding example and its public control under examples/; see the wedding growth guide for its supported shapes and candidate-only output.

Zincite targets MiniZinc 2.10.1 and does not run a compiler or solver. Read the support limits before relying on semantic results. Formatting and interfaces may change in the 0.1 series.

Licensed under MIT or Apache-2.0, at your option.