/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