Dekker1/dekker-phd-thesis
Archived
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
dekker-phd-thesis/assets/mzn/6_transformed_half_reif.mzn

2 lines
23 B
MiniZinc
Raw Blame History

b3 -> x[1] = sol(x[1])
Reference in New Issue View Git Blame Copy Permalink