-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: ConSol-Lab/Pumpkin
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: enable proof logging in appropriate test cases
#154
opened Feb 27, 2025 by
maartenflippo
•
Draft
fix: identify more places where root-level facts need to be logged to the proof
#153
opened Feb 27, 2025 by
maartenflippo
Loading…
feat: adding edge-finding for disjunctive
#141
opened Jan 31, 2025 by
ImkoMarijnissen
•
Draft
1 task done
fix: complete proof when adding clause results in unsat
#126
opened Dec 17, 2024 by
maartenflippo
•
Draft
chore: release pumpkin-solver 0.1.5
autorelease: pending
#121
opened Dec 4, 2024 by
maartenflippo
Loading…
ProTip!
no:milestone will show everything without a milestone.