GitHub repository: proofcert/checkers
Primary language: AMPL
Created: 2015-05-13T21:51:38Z
Description: This is not a game.