1 2 3
# haloumi-picus This crate is the Picus backend for Haloumi. Generates a representation of the circuit using the Picus Constraint Language.