Geeks
jurajsic
/
DQBDD
BDD based DQBF solver
Primary Language
C
GNU Lesser General Public License v3.0
LGPL-3.0
DQBDD GitHub
Markdown
Readme
3
Issues
7
Stargazers
2
Watchers
Issues
Open issue
Doesn't compile
#3 opened
a year ago
0
Closed issue
clarification of the functionality.
#2 opened
3 years ago
1
Closed issue
Certification
#1 opened
3 years ago
2