Repository navigation

Expose missing native propagators through MiniZinc and FlatZinc - #253

Merged

zayenz merged 25 commits into

mainfrom

feature/minizinc-registry

Oct 20, 2026

Merged

Expose missing native propagators through MiniZinc and FlatZinc#253
zayenz merged 25 commits into
mainfrom
feature/minizinc-registry

Commits on Oct 15, 2026
- Expose missing native propagators through MiniZinc and FlatZinc
  zayenz
  committed
  c31dd55
- Align nooverlap index validation and document public native bindings
  zayenz
  committed
  13e5d17
- Complete native API coverage on the updated inter-distance base
  zayenz
  committed
  9fa46f1
- Preserve standard product behavior in non-root contexts
  zayenz
  committed
  9e84678
- Remove change-specific MiniZinc audit document
  zayenz
  committed
  e874a25
- Bound FlatZinc divmod results before native posting
  zayenz
  committed
  ab57fcf
- Infer MiniZinc divmod result domains before flattening
  zayenz
  committed
  9dc34cd
- Regenerate configure for rounding-aware float compilation
  zayenz
  committed
  17bcac1
- Keep compiler rounding policy unchanged in registry update
  zayenz
  committed
  f7c3908
- Round fixed-base float power bounds explicitly with MPFR
  zayenz
  committed
  8db147a
- Document Gecode MiniZinc predicate contracts
  zayenz
  committed
  ebdef58
- Keep constraint implementation comments focused on behavior
  zayenz
  committed
  209f9e5
- Format MiniZinc registry declarations and predicate bodies
  zayenz
  committed
  442d01e
- Preserve include order in the formatted solver hook
  zayenz
  committed
  560e5dd
- Keep standard MiniZinc globals in the standard library
  zayenz
  committed
  438428e
- Give native MiniZinc extensions modelling interfaces
  zayenz
  committed
  7eaf8b3
- Describe the revised MiniZinc library scope
  zayenz
  committed
  f629b4a
- Indent multiline MiniZinc conditional headers
  zayenz
  committed
  8184cca
- Align split conditions after the MiniZinc if keyword
  zayenz
  committed
  ce9312d
- Trim redundant MiniZinc extensions and handle empty set sequences
  zayenz
  committed
  4327e4e
- Use the float harness for exact fixed-base power examples
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  3eb3349
- Simplify MiniZinc hooks and native registry posters
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  c71d5fe
- Correct the integer relation code reference
  zayenz
  committed
  64152e7
Commits on Oct 18, 2026
- Guard FlatZinc matching-count offsets
  zayenz
  committed
  636c07e
- Tighten MiniZinc predicate documentation
  zayenz
  committed
  3740a13

Commits

Commits on Oct 15, 2026

Commits on Oct 18, 2026