Skip to content

Pull requests: CPMpy/cpmpy

New pull request New
58 Open 576 Closed
58 Open 576 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

Save lhs and rhs of reification to csemap
#1010 opened Jun 3, 2026 by IgnaceBleukx Collaborator Loading…
4
Operator constructor cleaning
#1009 opened Jun 3, 2026 by tias Collaborator Loading…
Improved GCC decomposition
#1007 opened Jun 2, 2026 by IgnaceBleukx Collaborator Loading…
Positive globals
#1006 opened Jun 2, 2026 by ThomSerg Collaborator • Draft
14 of 15 tasks
1
Fix special case for not in decompose
#1003 opened Jun 1, 2026 by IgnaceBleukx Collaborator Loading…
fix tests and test docs
#1002 opened Jun 1, 2026 by tias Collaborator Loading…
Selective channeling for Exact
#1000 opened May 28, 2026 by OrestisLomis Contributor Loading…
2
use pyscipopt cumulative if it exists
#998 opened May 27, 2026 by tias Collaborator Loading…
ShortTable decomposition
#997 opened May 27, 2026 by WoutPiessens Collaborator • Draft
8
gurobi improved MUS
#993 opened May 21, 2026 by OrestisLomis Contributor Loading…
XCSP3 2026 tracker PR
#991 opened May 21, 2026 by tias Collaborator • Draft
26 of 32 tasks
3
feature/mus scip
#989 opened May 20, 2026 by OrestisLomis Contributor • Draft
1
Feature/mus highs
#988 opened May 20, 2026 by OrestisLomis Contributor • Draft
Feature/mus cpo
#987 opened May 20, 2026 by OrestisLomis Contributor • Draft
add mus native cplex
#986 opened May 20, 2026 by OrestisLomis Contributor • Draft
New solver/optal cp
#985 opened May 19, 2026 by OrestisLomis Contributor Loading…
1
Small fixes for Hexaly
#983 opened May 18, 2026 by IgnaceBleukx Collaborator Loading…
3
scip in docs/index
#982 opened May 18, 2026 by tias Collaborator Loading…
Linear decomposition for Regular using MDD
#981 opened May 15, 2026 by WoutPiessens Collaborator • Draft
8
str/repr/description fixes
#975 opened May 11, 2026 by IgnaceBleukx Collaborator Loading…
2
Save expr == var in csemap to catch silly user mistakes
#972 opened May 8, 2026 by IgnaceBleukx Collaborator Loading…
3
Pass verbose to sub-process in order to save stats
#962 opened Apr 27, 2026 by hbierlee Contributor Loading…
Marker inheritance and non-parametrised tests with solver dependency
#961 opened Apr 27, 2026 by ThomSerg Collaborator Loading…
4
modernize hyperparameter search example
#960 opened Apr 27, 2026 by OrestisLomis Contributor Loading…
5
simplify_boolean in the new pattern (9s -> 6s flatten)
#959 opened Apr 26, 2026 by tias Collaborator Loading…
22
ProTip! Exclude everything labeled bug with -label:bug.