id: "minizinc"
aliases:
- "mzn"
name: "MiniZinc"
install:
apt:
- minizinc
main: "main.mzn"
template: |
solve satisfy;
output ["Hello, world!\n"];
run: |
minizinc --solver Gecode main.mzn