Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
exe		exe
src		src
tests		tests
.gitignore		.gitignore
README.md		README.md
runtests.hs		runtests.hs
satq.cabal		satq.cabal

Repository files navigation

atpl25-pub

Boolean circuit satisfiability via embedding into quantum circuits

No releases published