zincite-check-0.5.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

zincite-check 0.5.0

Repeated native and WebAssembly candidate checking for FlatZinc

Crate
Source
Builds
Feature flags

..
prepare
arithmetic.rs
automata.rs
boolean.rs
circuits.rs
cli.rs
counting.rs
distance.rs
floats.rs
lib.rs
main.rs
number_theory.rs
ordering.rs
packing.rs
prepare.rs
rectangles.rs
relations.rs
scheduling.rs
selection.rs
serialized.rs
set_channels.rs
set_globals.rs
sets.rs
tables.rs
wasm.rs