Skip to content

Install Zincite

Install from a checkout with a current stable Rust toolchain:

Terminal window
git clone https://github.com/zayenz/zincite.git
cd zincite
cargo install --locked --path .

The root command provides zincite fmt, zincite lint and zincite query. To install the standalone commands instead, use:

Terminal window
cargo install --locked --path crates/zincite-fmt
cargo install --locked --path crates/zincite-lint
cargo install --locked --path crates/zincite-query

Both invocation forms use the same options, defaults and exit codes. Run zincite --help for the command list. Run zincite --version to report the package version and the build’s Git revision when available. Builds from source without Git still report the package version.

The 0.0.0-pre packages on crates.io are empty name reservations. Install from source to use the tools.

These stdin examples need no model files or standard library:

Terminal window
printf 'int: capacity=20;\n' | zincite fmt
printf 'int: capacity = 20;\n' | zincite lint --isolated --rules naming,missing-constraint-label
printf 'capacity = 20;\n' | zincite query --stdin-filepath data.dzn 'filter(kind("assignment")) | count'

Continue with formatting, linting, queries or data edits. Read the support limits before applying the tools to a whole project.