Skip to content

Instantly share code, notes, and snippets.

@tgoossens

tgoossens/gist:4184971

Created December 1, 2012 20:47
Show Gist options
  • Save tgoossens/4184971 to your computer and use it in GitHub Desktop.
Save tgoossens/4184971 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Name: V(i), i=1..6, domain: 0..9
Name: E(i), i=1..9, domain: 1..9
Constraint: V(i) \= V(j), range: i < j
Constraint: E(i) \= E(j), range: i < j
Constraint: E(i) = abs(V(b)-V(a)) /\ E(j) = abs(V(c)-V(d)) /\ E(k) = abs(V(e)-V(f)), range: i >= 0, i =< 3, a=i, b = (a mod 3) + 1, b <= 3 , j=i+3, c=a+3,d=b+3, k=i+6, e=a, f=d
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment