A simple circuit library for easy generation of large complicated SAT queries or garbled circuits
Haskell Shell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Benchmark
Circuit
Control/Monad
Test
makeutils
.gitignore
FindOptimal.hs
FormatDimacs.hs
Makefile
README.md
SorterTests.hs
TODO
TestCircuits-old.hs
Util.hs
build

README.md

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.