PlayGame

swMATH1409MaRDI QIDQ14148FDOQ14148

Author name not available (Why is that?)

Official website: http://users.tricity.wsu.edu/~litan/tools/playgame.html

Described by source

• Computer Aided Verification

Cited In (2)

• The complexity of Scotland Yard
• Truth/SLC

This page was built for software: PlayGame