Skip to content

Pull requests: CPMpy/cpmpy

New pull request New
25 Open 477 Closed
25 Open 477 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

Add to_gcnf transformation and GDIMACS reader/writer
#851 opened Feb 9, 2026 by hbierlee Loading…
Multiplication as globalfunction, with decomposition
#850 opened Feb 7, 2026 by tias Loading…
14
Custom CSEMap object
#843 opened Feb 1, 2026 by IgnaceBleukx • Draft
2
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
Datasets metadata blocked Pull request blocked by another pull request/issue. needs discussion
#841 opened Jan 30, 2026 by ThomSerg Loading…
1
Pytorch-compatible datasets needs discussion
#840 opened Jan 30, 2026 by ThomSerg Loading…
2 tasks
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
2
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…
1
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 Loading…
2
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
New globals: CumulativeOptional, NoOverlapOptional new global
#676 opened May 13, 2025 by IgnaceBleukx Loading… stable
@IgnaceBleukx
2
Numpy ufunc
#625 opened Apr 10, 2025 by Dimosts • Draft
1
9
558 reporting intermediate solutions
#561 opened Dec 20, 2024 by IgnaceBleukx • Draft
1
28
Multi dim element optimisation
#534 opened Nov 22, 2024 by Wout4 • Draft stable
1
@Dimosts
9
scip interface (first version) new solver
#412 opened Sep 17, 2023 by tias • Draft
23
MTZ-style decomposition of Circuit
#354 opened Jun 20, 2023 by IgnaceBleukx • Draft
6
ProTip! Add no:assignee to see everything that’s not assigned.