ersatz icon indicating copy to clipboard operation
ersatz copied to clipboard
verified publisher icon ekmett

drawings of circuits (DAG) denoted by Ersatz.Bit

Open jwaldmann opened this issue 1 year ago • 0 comments

A value of type Ersatz.Bit denotes a Boolean formula, with sharing, so actually, a circuit. I made this to draw the circuit diagram (with graphviz) https://git.imn.htwk-leipzig.de/waldmann/ersatz-viz and perhaps it's useful.

jwaldmann avatar Feb 27 '24 14:02 jwaldmann