A fast and certifying solver for quantified Boolean formulas.
Stars
26
Forks
13
Watchers
26
Open Issues
3
Overall repository health assessment
No package.json found
This might not be a Node.js project
436
commits
11
commits
1
commits
1
commits
1
commits
Merge pull request #10 from MalteSchledjewski/fix-implicit-function-definition
5fb4003View on GitHubupdated functional synthesis paths in instances and fixed small problem in run.py with crashing runs
6f8ad12View on GitHubfixed bug in functional synthesis due to outdated encoding in global conflict check
d5c46c7View on GitHub