Skip to content

Tags: huub-solver/huub

Tags

continuous_deployment

Toggle continuous_deployment's commit message

Verified

This commit was signed with the committer’s verified signature.
Dekker1 Jip J. Dekker
fix: emit Fixed event when bound tightening collapses a gapped domain

Tightening a bound on a gapped domain (e.g. {3,5} to max 4 -> {3}) can
fix a variable even when the bound value differs from the opposite bound.
The old Model notification logic missed this, so value-based propagators
were never notified.

huub-v100.1.0

Toggle huub-v100.1.0's commit message
chore: Release package huub version 100.1.0

huub-v100.0.0

Toggle huub-v100.0.0's commit message

Verified

This commit was signed with the committer’s verified signature.
Dekker1 Jip J. Dekker
chore: release v100.0.0

pub/CP2025

Toggle pub/CP2025's commit message
solver version used to conduct the experiment for the CP2025 paper