Back to search
Top Contributors
287
commits
195
commits
22
commits
17
commits
6
commits
3
commits
2
commits
2
commits
2
commits
2
commits
A Lazy Clause Generation Constraint Programming solver written in Rust.
Stars
69
Forks
25
Watchers
69
Open Issues
28
Overall repository health assessment
No package.json found
This might not be a Node.js project
287
commits
195
commits
22
commits
17
commits
6
commits
3
commits
2
commits
2
commits
2
commits
2
commits
refactor(pumpkin-propagators): Move away from TestSolver in propagator tests (#387)
7e53838View on GitHubfix: Time-table checker not detecting conflicts properly (#405)
0589e2fView on GitHubfeat(pumpkin-solver): Check derived nogoods during search (#373)
b4ccd2bView on GitHubfeat(pumpkin-solver): Expose version and git commit in crate (#404)
8851699View on GitHubdocs(pumpkin-core): Clarify get_propagation_reason does not clear buffer (#402)
2d28abdView on GitHubdocs(pumpkin-core): Describe unnamed variables in state (#403)
0b903c6View on GitHubrefactor(pumpkin-core): Cleanup creation of propagator conflict (#399)
1a96c30View on GitHubchore: add utility method fixed value and replace is_fixed wherever possible (#393)
39a1b64View on GitHubchore(pumpkin-proof-processor): Assert that trimming happens
d97a0edView on GitHubrefactor(pumpkin-proof-processor): Simplify the predicate heap
7744d7dView on GitHubfix(pumpkin-proof-processor): Suppress processor output in tests
8085a90View on GitHub