Install Zincite
Install from a checkout with a current stable Rust toolchain:
git clone https://github.com/zayenz/zincite.gitcd zincitecargo install --locked --path .The root command provides zincite fmt, zincite lint and zincite query. To install the
standalone commands instead, use:
cargo install --locked --path crates/zincite-fmtcargo install --locked --path crates/zincite-lintcargo install --locked --path crates/zincite-queryBoth 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.
Try the commands
Section titled “Try the commands”These stdin examples need no model files or standard library:
printf 'int: capacity=20;\n' | zincite fmtprintf 'int: capacity = 20;\n' | zincite lint --isolated --rules naming,missing-constraint-labelprintf '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.