A simple circuit library for easy generation of large complicated SAT queries or garbled circuits
语言:Haskell · GitHub 星标:5 · Fork:3
在 GitHub 上查看原仓库