Skip to content

Instantly share code, notes, and snippets.

@yonkeltron

yonkeltron/hello_world.mzn

Last active May 16, 2018 13:04
Show Gist options
  • Save yonkeltron/03af7bb05a930462dc74dfd973750fe1 to your computer and use it in GitHub Desktop.
Save yonkeltron/03af7bb05a930462dc74dfd973750fe1 to your computer and use it in GitHub Desktop.
Download ZIP
I fixed it!
Raw
hello_world.mzn
int: nt = 10;
var 1..nt: solution;
constraint solution < nt;
solve satisfy;
output ["solution = ", show(solution)];
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment