Add MiniZinc black-box propagator support - #219

Merged

zayenz merged 14 commits into

Gecode:mainfrom

Dekker1:feat/blackbox

Jul 13, 2026

Commits on Jul 12, 2026

Add support for the experimental MiniZinc black-box propagator interface

Dekker1
authored and
Mikael Zayenz Lagerkvist
committed
Harden FlatZinc blackbox runtime
Mikael Zayenz Lagerkvist
committed
Refine blackbox interfaces and backend structure
Mikael Zayenz Lagerkvist
committed
Define and validate blackbox contracts
Mikael Zayenz Lagerkvist
committed
Share blackbox backends across search
Mikael Zayenz Lagerkvist
committed
Harden POSIX blackbox processes
Mikael Zayenz Lagerkvist
committed
Finalize native blackbox backends
Mikael Zayenz Lagerkvist
committed
Add cross-platform blackbox integration coverage
Mikael Zayenz Lagerkvist
committed
Refactor FlatZinc blackbox runtime
Mikael Zayenz Lagerkvist
committed
Document FlatZinc blackbox contracts
Mikael Zayenz Lagerkvist
committed
Isolate blackbox process platforms
Mikael Zayenz Lagerkvist
committed
Credit FlatZinc blackbox contributors
Mikael Zayenz Lagerkvist
committed
Use MiniZinc blackbox annotations
Mikael Zayenz Lagerkvist
committed

Commits on Jul 13, 2026

Remove redundant blackbox instance lock
Mikael Zayenz Lagerkvist
committed