Skip to content

Instantly share code, notes, and snippets.

@wulab

wulab/puzzle.mzn

Created December 20, 2018 08:01
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save wulab/640adefd66d3b714e8143d916d27a59b to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save wulab/640adefd66d3b714e8143d916d27a59b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
puzzle.mzn
% ? + ? = 8
% + +
% ? - ? = 6
% = =
% 13 8
var 0.0..9.9: A;
var 0.0..9.9: B;
var 0.0..9.9: C;
var 0.0..9.9: D;
constraint A + B = 8;
constraint C - D = 6;
constraint A + C = 13;
constraint B + D = 8;
solve satisfy;
@wulab
Copy link
Copy Markdown
Author

wulab commented Dec 20, 2018 

A = 3.5;
B = 4.5;
C = 9.5;
D = 3.5;
----------
Finished in 112msec

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment