Geeks
meelgroup
/
bosphorus
Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter
Primary Language
C++
Other
NOASSERTION
bosphorus GitHub
Markdown
Readme
37
Issues
65
Stargazers
7
Watchers
Watchers
a1880
https://www.eon.com
hadipourh
Graz University of Technology
jevinskie
Lafayette, Indiana
jhcloos
kuldeepmeel
University of Toronto
mocenigo
Munich, Bavaria, Germany
msoos
Berlin, Germany