Repository navigation

Expose missing native propagators through MiniZinc and FlatZinc - #253

Open

zayenz wants to merge 22 commits into

mainfrom

feature/minizinc-registry

Open

Expose missing native propagators through MiniZinc and FlatZinc#253
zayenz wants to merge 22 commits into
mainfrom
feature/minizinc-registry

Commits on Oct 13, 2026
- Expose missing native propagators through MiniZinc and FlatZinc
  zayenz
  committed
  4899ea7
- Align nooverlap index validation and document public native bindings
  zayenz
  committed
  55ac4f2
- Complete native API coverage on the updated inter-distance base
  zayenz
  committed
  374dabe
- Preserve standard product behavior in non-root contexts
  zayenz
  committed
  85dd5e2
- Remove change-specific MiniZinc audit document
  zayenz
  committed
  c1e34cf
- Bound FlatZinc divmod results before native posting
  zayenz
  committed
  ed4223d
- Infer MiniZinc divmod result domains before flattening
  zayenz
  committed
  fdec18d
- Regenerate configure for rounding-aware float compilation
  zayenz
  committed
  1521f47
- Keep compiler rounding policy unchanged in registry update
  zayenz
  committed
  4234d6d
- Round fixed-base float power bounds explicitly with MPFR
  zayenz
  committed
  2159bc9
- Document Gecode MiniZinc predicate contracts
  zayenz
  committed
  e30fd4c
- Keep constraint implementation comments focused on behavior
  zayenz
  committed
  27b84bb
- Format MiniZinc registry declarations and predicate bodies
  zayenz
  committed
  c55d360
- Preserve include order in the formatted solver hook
  zayenz
  committed
  ce7f210
- Keep standard MiniZinc globals in the standard library
  zayenz
  committed
  26fd648
- Give native MiniZinc extensions modelling interfaces
  zayenz
  committed
  0ed8936
- Describe the revised MiniZinc library scope
  zayenz
  committed
  58378d1
- Indent multiline MiniZinc conditional headers
  zayenz
  committed
  f8a3b7c
- Align split conditions after the MiniZinc if keyword
  zayenz
  committed
  1937782
- Trim redundant MiniZinc extensions and handle empty set sequences
  zayenz
  committed
  c7a9235
- Use the float harness for exact fixed-base power examples
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  9bcef8a
- Simplify MiniZinc hooks and native registry posters
  
  Mikael Zayenz Lagerkvist
  authored and
  zayenz
  committed
  f70f5f9

Commits

Commits on Oct 13, 2026