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.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.