Skip to content

Issues: ConSol-Lab/Pumpkin

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.

Sign up for GitHub

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

14 Open 4 Closed
14 Open 4 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Panic exception when proof-logging
#116 opened Nov 13, 2024 by IgnaceBleukx
1
1
Error when propagator returns unit conflict explanation bug Something isn't working
#81 opened Oct 28, 2024 by ImkoMarijnissen
2
5
Potential unclear usage of notify and notify_backtrack bug Something isn't working documentation Improvements or additions to documentation
#54 opened Sep 23, 2024 by ImkoMarijnissen
Move proof log out of options refactor
#48 opened Sep 11, 2024 by ImkoMarijnissen
@maartenflippo
Allow multiple decisions to be returned from the brancher enhancement New feature or request
#44 opened Sep 9, 2024 by ImkoMarijnissen
Incorrect usage of API in examples
#42 opened Sep 7, 2024 by ImkoMarijnissen
Backup selector for VSIDS enhancement New feature or request
#36 opened Aug 27, 2024 by ImkoMarijnissen
Testing the python interface
#34 opened Aug 26, 2024 by maartenflippo
1
Context provided to lazy reason calculation can be inconsistent bug Something isn't working
#25 opened Aug 1, 2024 by ImkoMarijnissen
1
Allow Temporary Removal of Propagator enhancement New feature or request
#15 opened Jul 25, 2024 by ImkoMarijnissen Version 0.2
2
Backtracking during Restart enhancement New feature or request
#13 opened Jul 24, 2024 by ImkoMarijnissen
1
Commit hook looks at current state of files rather than state of added files tooling-issue There is a problem with the scripts/tooling in the repository.
#4 opened Jul 18, 2024 by maartenflippo
Option to disable learning enhancement New feature or request
#3 opened Jul 18, 2024 by maartenflippo Version 0.2
1
Improve handling of bool2int enhancement New feature or request
#2 opened Jul 18, 2024 by maartenflippo Version 0.2
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.