David Wilson has an analysis program. It can't play a
game but from an initial position, it will give you
the perfect play results and let you step back and
forth through the positions. How early of a position
you can do this for depends on how much memory you have
available on your system (the program eats up tons of
disk space). The main page for this program is at
http://homepages.cae.wisc.edu/~dwilson/boxes/
