Repository navigation

Expose missing native propagators through MiniZinc and FlatZinc - #253

Draft

zayenz wants to merge 19 commits into

feature/inter-distancefrom

feature/minizinc-registry

Commits on Oct 10, 2026
- Expose missing native propagators through MiniZinc and FlatZinc
  zayenz
  committed
  dc8e100
- Align nooverlap index validation and document public native bindings
  zayenz
  committed
  95fe9bd
- Complete native API coverage on the updated inter-distance base
  zayenz
  committed
  a0281db
- Preserve standard product behavior in non-root contexts
  zayenz
  committed
  9118001
- Remove change-specific MiniZinc audit document
  zayenz
  committed
  4cb59cb
- Bound FlatZinc divmod results before native posting
  zayenz
  committed
  1316feb
- Infer MiniZinc divmod result domains before flattening
  zayenz
  committed
  1cff235
- Regenerate configure for rounding-aware float compilation
  zayenz
  committed
  c5c97a1
- Keep compiler rounding policy unchanged in registry update
  zayenz
  committed
  3d34c3d
- Round fixed-base float power bounds explicitly with MPFR
  zayenz
  committed
  7a6cf70
- Document Gecode MiniZinc predicate contracts
  zayenz
  committed
  eaad666
- Keep constraint implementation comments focused on behavior
  zayenz
  committed
  ed814ce
- Format MiniZinc registry declarations and predicate bodies
  zayenz
  committed
  25ce86c
- Preserve include order in the formatted solver hook
  zayenz
  committed
  11c7658
Commits on Oct 11, 2026
- Keep standard MiniZinc globals in the standard library
  zayenz
  committed
  a4ff733
- Give native MiniZinc extensions modelling interfaces
  zayenz
  committed
  63e96b2
- Describe the revised MiniZinc library scope
  zayenz
  committed
  47a010d
- Indent multiline MiniZinc conditional headers
  zayenz
  committed
  525275b
- Align split conditions after the MiniZinc if keyword
  zayenz
  committed
  64446c6

Navigation Menu

Repository navigation

Expose missing native propagators through MiniZinc and FlatZinc - #253

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

Commits on Oct 10, 2026

Expose missing native propagators through MiniZinc and FlatZinc

Align nooverlap index validation and document public native bindings

Complete native API coverage on the updated inter-distance base

Preserve standard product behavior in non-root contexts

Remove change-specific MiniZinc audit document

Bound FlatZinc divmod results before native posting

Infer MiniZinc divmod result domains before flattening

Regenerate configure for rounding-aware float compilation

Keep compiler rounding policy unchanged in registry update

Round fixed-base float power bounds explicitly with MPFR

Document Gecode MiniZinc predicate contracts

Keep constraint implementation comments focused on behavior

Format MiniZinc registry declarations and predicate bodies

Preserve include order in the formatted solver hook

Commits on Oct 11, 2026

Keep standard MiniZinc globals in the standard library

Give native MiniZinc extensions modelling interfaces

Describe the revised MiniZinc library scope

Indent multiline MiniZinc conditional headers

Align split conditions after the MiniZinc if keyword