Skip to content

Instantly share code, notes, and snippets.

@saska-gist

saska-gist/april-giveaway-2018.zpl

Created December 29, 2018 21:23
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save saska-gist/3d75de703013b3b237ecccc59bb83bba to your computer and use it in GitHub Desktop.
Save saska-gist/3d75de703013b3b237ecccc59bb83bba to your computer and use it in GitHub Desktop.
Download ZIP
Raw
april-giveaway-2018.zpl
# A scip model for solving the puzzle at
# https://www.puzzleprime.com/contests/giveaway/april-giveaway-2018
var fishbones;
var cats;
var bowls;
var questionmark;
subto c1: 1*cats + 6 + 3*fishbones == 12;
subto c2: 1*cats + 2*bowls + 1*fishbones == 8;
subto c3: 2*cats + 1*bowls + 3 == 11;
subto c4: 1*cats + 1*bowls + 4 == questionmark;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment