Skip to content

Pull requests: CPMpy/cpmpy

New pull request New
47 Open 406 Closed
47 Open 406 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

solution_callback for Hexaly
#787 opened Nov 3, 2025 by ThomSerg Loading…
Z3 negate maximisation objective inconsistency simple to review Simple change to review, e.g., a oneliner.
#786 opened Nov 3, 2025 by ThomSerg Loading…
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
1
Expand CNF using encoding back-end
#782 opened Oct 31, 2025 by hbierlee Loading…
1 task done
@hbierlee
3
Add encoding variables as expressions to CSE
#781 opened Oct 28, 2025 by hbierlee Loading…
1
solver parameterised pytest blocked Pull request blocked by another pull request/issue.
#780 opened Oct 24, 2025 by ThomSerg Loading…
Test dependent on OR-Tools first found solution
#779 opened Oct 24, 2025 by ThomSerg Loading…
Fix constants in Xor
#778 opened Oct 24, 2025 by IgnaceBleukx Loading…
2
Sudoku variant examples 2
#777 opened Oct 23, 2025 by OrestisLomis Loading…
@OrestisLomis
9
Update .solve() functions with typed arguments for stable
#775 opened Oct 19, 2025 by IgnaceBleukx Loading… v.0.10.0
1
Skip solver specific example test when solver not installed simple to review Simple change to review, e.g., a oneliner.
#774 opened Oct 17, 2025 by ThomSerg Loading…
2
add verbosity parameter to tuners (more user friendly)
#771 opened Oct 15, 2025 by tias Loading…
Linearize multiplication with Boolean and Integer
#769 opened Oct 15, 2025 by IgnaceBleukx Loading…
6
Typehints in core.py
#768 opened Oct 13, 2025 by IgnaceBleukx • Draft
1
add hexaly to readme, name it a global opt solver
#767 opened Oct 6, 2025 by tias Loading…
5
JSPLib data loader
#758 opened Oct 1, 2025 by IgnaceBleukx Loading…
adding multi-instance-tuner
#757 opened Sep 30, 2025 by ElFosco Loading…
3
Change cp.sum(*iterable, **kwargs) to cp.sum(iterable, **kwargs) for stable
#756 opened Sep 30, 2025 by hbierlee Loading… v.0.10.0
1
Datasets, parsers and benchmarks discussion
#733 opened Sep 15, 2025 by ThomSerg Loading…
Rc2 maxsat solver
#729 opened Sep 10, 2025 by tias Loading… v.0.10.0
@hbierlee
7
document capabilities of solvers for stable
#728 opened Sep 8, 2025 by tias Loading… v.0.10.0
@tias
1
Template docstrings
#724 opened Aug 26, 2025 by ThomSerg Loading…
Convert assumptions to list simple to review Simple change to review, e.g., a oneliner.
#712 opened Aug 4, 2025 by IgnaceBleukx Loading…
1
6
Support globals to define their own negation fuzz-test
#703 opened Jul 30, 2025 by ThomSerg Loading…
10
ProTip! Exclude everything labeled bug with -label:bug.