netlist

A simple circuit library for easy generation of large complicated SAT queries or garbled circuits. No documentation yet. Contact info: samee@virginia.edu

You might have to do a cabal install mtl transformers first before this can compile.