GitHub repository: GamesCrafters/GamesmanClassic
Primary language: C
Description: The classic C solver and tcl/tk frontend.