Skip to content

Instantly share code, notes, and snippets.

@selmanj

selmanj/gist:1260930

Created October 4, 2011 04:51
Show Gist options
  • Save selmanj/1260930 to your computer and use it in GitHub Desktop.
Save selmanj/1260930 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.py
print "# at all times, a player has a track associated with them"
print "# cnf rep of (hasTrack(p1, t1) ^ track(t1)) v (hasTrack(p1, t2) ^ track(t2)) v ..."
for player in players:
pieces = []
disjs = []
for track in tracks:
piece = []
piece.append("hasTrack(%s, %s)" % (player, track))
piece.append("track(%s)" % track)
pieces.append(piece)
for i in range(2**len(pieces)):
k = i
piece = []
for j in range(len(pieces)):
piece.append(pieces[j][k%2])
k = k/2
disjs.append("(%s)" % (" v ".join(piece)))
print " ^ ".join(disjs)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment