/gdl/ @ 4c2306e08ed1
name | size |
---|---|
[up] | |
8puzzle.gdl | 3134 |
buttons.gdl | 1549 |
hanoi.gdl | 2494 |
kriegTTT_5x5.gdl | 3111 |
latenttictactoe.gdl | 7402 |
mastermind.gdl | 11205 |
meier.gdl | 3646 |
montyhall.gdl | 1647 |
pennies.gdl | 1191 |
pick-small.gdl | 427 |
roshambo2.gdl | 1384 |
small_dominion.gdl | 5805 |
stratego.gdl | 7219 |
tictactoe.gdl | 3083 |
transit.gdl | 3888 |
vis_pacman3p.gdl | 9614 |