Strix Demo

Format:

Mealy machine
AIGER circuit
BDD

Options:

Minimize controller


We use dot to render the controller to SVG.