Skip to content

Pull requests: huub-solver/huub

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat: add IntLexLeBounds propagator
#356 opened Jun 15, 2026 by Dekker1 Contributor Draft
feat(circuit): circuit and subcircuit global constraints
#354 opened Jun 14, 2026 by AllenZzw Collaborator Loading…
chore: release v101.0.0
#345 opened Jun 5, 2026 by github-actions Bot Loading…
Add difference logic to Huub
#272 opened Jan 22, 2026 by kletzi Contributor Draft
Circuit propagator
#218 opened Sep 1, 2025 by ed-lam Loading…
Proof Logging
#216 opened Aug 25, 2025 by mmcilree Loading…
XCSP3 (competition) support
#179 opened May 12, 2025 by Dekker1 Contributor Draft
6 of 32 tasks
ProTip! Follow long discussions with comments:>50.