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.
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.