Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Pull requests: huub-solver/huub

New pull request New
Clear current search query, filters, and sorts
12 Open 222 Closed
12 Open 222 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

feat: Optimize PriorityQueue pop with bitmask
#259 by Dekker1 was closed Jan 11, 2026 • Draft
2
ci: update MacOS runners for the packaging scripts
#257 by Dekker1 was merged Jan 8, 2026 Loading…
2
fix(huub): IntPowBounds result propagation
#256 by Dekker1 was merged Jan 7, 2026 Loading…
2
Fix IntDivBounds::simplify
#255 by Dekker1 was merged Jan 7, 2026 Loading…
1
2
chore: update dependencies
#248 by Dekker1 was merged Nov 6, 2025 Loading…
2
chore: update dependencies
#247 by Dekker1 was merged Nov 5, 2025 Loading…
2
Reusing Solver Propagators for the Model layer
#246 by Dekker1 was merged Nov 7, 2025 Loading…
7 of 19 tasks
Initial release
1
4
Fix int view unification with Boolean inner decisions
#242 by AllenZzw was merged Oct 21, 2025 Loading…
2
Update domain bounds during propagation
#241 by AllenZzw was closed Oct 9, 2025 Loading…
2
fix: ensure both domains are honored when detecting views in FlatZinc
#240 by Dekker1 was merged Oct 9, 2025 Loading…
2
chore(huub): update pindakaas to fix windows build
#239 by Dekker1 was merged Sep 30, 2025 Loading…
2
fix getting relaxed 'NotEq' literal
#238 by AllenZzw was closed Sep 30, 2025 Loading…
4
Use Pindakaas release
#237 by Dekker1 was merged Sep 30, 2025 Loading…
2
fix(huub): correct the negation of int_lin_le
#236 by Dekker1 was merged Sep 29, 2025 Loading…
1
2
fix(huub): trailing in the BoolBrancher
#235 by Dekker1 was merged Oct 9, 2025 Loading…
@AllenZzw
4
fix(huub): add missing case for int_abs bounds propagation
#234 by Dekker1 was merged Sep 29, 2025 Loading…
2
fix(huub): remove duplication of boolean variables introduced in bf22a6aa5068a9cd3f759fb606e8601fab8a8b89
#232 by Dekker1 was merged Sep 24, 2025 Loading…
2
refactor(huub): implement Copy for IntLitMeaning
#230 by Dekker1 was merged Sep 22, 2025 Loading…
2
allow further simplification at root level
#229 by AllenZzw was merged Sep 24, 2025 Loading…
2
Asking reason lazily in the oracle solver
#228 by AllenZzw was merged Sep 24, 2025 Loading…
4
refactor(huub): further strengthen literal meanings in IntVar methods
#227 by Dekker1 was merged Sep 12, 2025 Loading…
2
refactor: enforce the use of FxHasher over DefaultHasher
#225 by Dekker1 was merged Sep 10, 2025 Loading…
2
feat(huub): use advisors for IntLinearNotEqValue propagator
#224 by Dekker1 was merged Sep 9, 2025 Loading…
2
feat(huub): add debug check that reasons are not tautologies
#223 by Dekker1 was merged Sep 8, 2025 Loading…
2
feat(huub): update domains during propagation
#221 by Dekker1 was merged Sep 22, 2025 Loading…
2
ProTip! Updated in the last three days: updated:>2026-01-08.