Internals
Under construction.
In this section, we give breif overview of important interal design choices for LogicCircuits.jl
Type System
Explain differences between:
- Sdds
- PlainLogicCircuit
- StructLogicCircuit
Describe what vtrees are.
Operating on Circuits
Different ways to traverse circuits:
- Foldup:
foldup
- Foldup Aggerage:
foldup_aggregate
Flows
Describe each type of flow and their meaning. UpFlow, DownFlow, etc. satisfies_flows
, satisfies_flows_down
, etc.
GPU Acceleration
- BitCircuits
Misc Tools
- Zoo Artifacts
- Twenty Datsets
- Plotting options
plot
, or converting to string optionstree_formula_string