-
Notifications
You must be signed in to change notification settings - Fork 124
Issues: arminbiere/cadical
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Is there a reason why this sets the blocking literal to
other
rather than lit
?
#103
opened Jun 23, 2024 by
msoos
Build uses low optimization option "-O" instead of the one provided from outside
#101
opened Jun 5, 2024 by
yurivict
Maybe try 'hint' instead of 'phase' to select decision phase (at most) once
enhancement
#93
opened Mar 4, 2024 by
arminbiere
don't print variables in witness that are not part of the formula
enhancement
#83
opened Dec 30, 2023 by
marijnheule
Implement proofs that deletions maintain equisatisfiability?
enhancement
#61
opened Jul 7, 2023 by
jakobnordstrom
API to return number of conflicts and decisions after hitting resource limits
enhancement
#50
opened Feb 1, 2023 by
amatuag
Using the feature of incremental SAT to solve a sequence of SAT problems
enhancement
#26
opened Oct 2, 2020 by
yulinzhang
Previous Next
ProTip!
Updated in the last three days: updated:>2024-09-20.