Add DAG-based constraint propagation (HC4Revise)#224

Open

dpsanders wants to merge 7 commits into

dag-propagation

Commits on Apr 2, 2026

Update dependencies to latest versions, fix IntervalArithmetic v1.0 compatibility

authored and
David Sanders
committed
Bump version to 0.15.0

authored and
David Sanders
committed
Update CI actions, require Julia 1.11, remove obsolete REQUIRE

dpsanders
and
claude
committed
Test on Julia 1.10, 1.12, and nightly; require Julia >= 1.10

dpsanders
and
claude
committed
Widen compat ranges to also support older dependency versions

dpsanders
and
claude
committed

Commits on Apr 14, 2026