80 develop a minizinc backend#83

Merged

kevin-delmas merged 34 commits intomasterfrom

80-develop-a-minizinc-backend

Dec 8, 2025

Commits on Nov 20, 2025

Provide a template for the implem of MiniZinc backend in Scala.
kevin-delmas
committed

Commits on Nov 27, 2025

Provide a template for the implem of MiniZinc backend in Scala.
kevin-delmas
committed
Merge branch '80-develop-a-minizinc-backend' of github.com:onera/pml-analyzer into 80-develop-a-minizinc-backend
kevin-delmas
committed
Import all extension methods using onera.pmlanalyzer.*
kevin-delmas
committed

Commits on Nov 28, 2025

Import all useful types and builder using onera.pmlanalyzer.*
kevin-delmas
committed

Commits on Nov 30, 2025

Need to forbid all PML type outside pmlanalyzer package.
kevin-delmas
committed

Commits on Dec 1, 2025

Commits on Dec 4, 2025

Commits on Dec 5, 2025

Commits on Dec 8, 2025