Internals

Note

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 options tree_formula_string