Crate haloumi_picus 

haloumi-picus

This crate is the Picus backend for Haloumi. Generates a representation of the circuit using the Picus Constraint Language.

Structs

PicusCodegen

Code generator for PCL.

PicusParams

Configuration for the Picus backend.

PicusParamsBuilder

Builder for configuring the parameters of the Picus backend.

Enums

PicusCodegenError

Error type used by PicusCodegen.

Type Aliases

PicusBackend

Instance of a Backend prepared for lowering to PCL.

PicusOutput

Output produced by the picus backend.