drawings of circuits (DAG) denoted by Ersatz.Bit

ekmett / ersatz

A monad for interfacing with external SAT solvers

Other

62 stars 15 forks source link

drawings of circuits (DAG) denoted by Ersatz.Bit #86

Open jwaldmann opened 4 months ago

jwaldmann commented 4 months ago

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.