Skip to content

Pull requests: CPMpy/cpmpy

New pull request New
30 Open 483 Closed
30 Open 483 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Updates on global testing
#870 opened Mar 18, 2026 by IgnaceBleukx • Draft
Re-enable BVA for Pindakaas/cadical
#869 opened Mar 17, 2026 by hbierlee • Draft
New solver: highs, open source ILP solver
#868 opened Mar 17, 2026 by tias Loading…
Mypy GitHub action
#867 opened Mar 16, 2026 by ThomSerg Loading…
4
mypy ini file, project-wide without errors
#864 opened Mar 16, 2026 by tias Loading…
12
Unified prooflogging
#862 opened Mar 11, 2026 by IgnaceBleukx Loading…
Deletion of solver objects and use of model in test_cons
#859 opened Feb 22, 2026 by hbierlee • Draft
2
Add to_gcnf transformation and GDIMACS reader/writer
#851 opened Feb 9, 2026 by hbierlee • Draft
@hbierlee
1
Handle reified != predicates in custom CSEMap
#843 opened Feb 1, 2026 by IgnaceBleukx Loading…
3
IO module with readers and writers blocked Pull request blocked by another pull request/issue. needs discussion
#842 opened Jan 30, 2026 by ThomSerg Loading…
3 tasks
1
Datasets metadata blocked Pull request blocked by another pull request/issue. needs discussion
#841 opened Jan 30, 2026 by ThomSerg Loading…
2
Pytorch-compatible datasets needs discussion
#840 opened Jan 30, 2026 by ThomSerg Loading…
2 tasks
1
Non-strict var name check
#839 opened Jan 29, 2026 by ThomSerg Loading…
7
Update transformations to check for None value
#830 opened Jan 17, 2026 by IgnaceBleukx • Draft
1
3
Document linearize and have complete and separated mul decomposition
#808 opened Dec 22, 2025 by tias • Draft
30
Account for transformation time in model.solve
#803 opened Dec 9, 2025 by hbierlee • Draft
@hbierlee
6
cvc5 SMT solver new solver
#784 opened Oct 31, 2025 by ThomSerg Loading…
2
Pysat pb reification optimisation
#783 opened Oct 31, 2025 by OrestisLomis • Draft
6
solver parameterised pytest
#780 opened Oct 24, 2025 by ThomSerg • Draft
25
Fix constants in Xor
#778 opened Oct 24, 2025 by IgnaceBleukx Loading…
4
Typehints in core.py
#768 opened Oct 13, 2025 by IgnaceBleukx • Draft
3
JSPLib data loader
#758 opened Oct 1, 2025 by IgnaceBleukx Loading…
1
Datasets, parsers and benchmarks discussion
#733 opened Sep 15, 2025 by ThomSerg • Draft
3
Convert assumptions to list simple to review Simple change to review, e.g., a oneliner.
#712 opened Aug 4, 2025 by IgnaceBleukx Loading…
1
9
XCSP3 competition
#684 opened May 21, 2025 by ThomSerg • Draft
ProTip! Follow long discussions with comments:>50.