mzn2fzn

1열

2답변

mzn2fzn 변환 중 int 도메인 집합을 전파하는 방법은 무엇입니까?

나는 다음 MiniZinc 코드 샘플이 있습니다 include "globals.mzn"; var int: i; array[-3..3] of var set of 1..10: x; var set of 1..100: y; constraint element(i, x, y); solve satisfy; output [ show(i), "\

minizinc flatzinc mzn2fzn 2017-11-08

---