Skip to content

Pull requests: CPMpy/cpmpy

New pull request New
35 Open 511 Closed
35 Open 511 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

some more typing of core
#907 opened Apr 3, 2026 by tias Loading…
fix(normalize): Add Xor simplification to simplify_boolean
#906 opened Apr 3, 2026 by aryanjsingh Loading…
1
Modernize __init__ files
#905 opened Apr 3, 2026 by IgnaceBleukx • Draft
1
Ruff autoformatting expressions/ folder
#902 opened Apr 2, 2026 by IgnaceBleukx • Draft
2
Datasets core
#900 opened Apr 1, 2026 by ThomSerg Loading…
linearize: doc update
#898 opened Mar 31, 2026 by tias Loading…
6
exprs with *args constructors, avoid flatlist
#897 opened Mar 31, 2026 by tias Loading…
1
MDD decomposition for Table constraint
#891 opened Mar 27, 2026 by WoutPiessens Loading…
@WoutPiessens
2
Read integers with round i/o int for Gurobi
#884 opened Mar 25, 2026 by hbierlee Loading…
1
2
Add IIS-based MUS algorithm
#880 opened Mar 23, 2026 by hbierlee Loading…
17
strict typing and implemetation of Comparison
#879 opened Mar 23, 2026 by tias • Draft
11
demonstrates overload for precise typing
#876 opened Mar 20, 2026 by tias • Draft
1
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…
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
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
Save end_is_none flag in Cumulative and NoOverlap
#830 opened Jan 17, 2026 by IgnaceBleukx • Draft
1
5
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
ProTip! Adding no:label will show everything without a label.