Expand description
The worked examples put the crate to work on applications, from counting a product’s configurations to the distinct outputs of a circuit. Using diagrams from the compiler runs a bounded compile from Rust and queries its diagram. The architecture reference maps the source for contributors. The binary, the input format and the run record are in the command-line guide.
Modules§
- architecture
- Architecture
- examples
- Worked examples, from counting to compiling on a vtree of your choice.
- library_
integration - Using diagrams from the compiler