Introduction For a general introduction to computability logic and its relationship to game theory and general mathematics and programming, please visit http://www.csc.villanova.edu/~japaridz/CL Implementation Games are defined by the following files include/game/games/*.h include/game/games/*-impl.h src/game/games/*.c Game types are collected in the following files include/game/games.h src/game/games.c Moves are defined by the following files include/game/moves/*.h include/game/moves/*-impl.h src/game/moves/*.c Move types are collected in the following files include/game/moves.h src/game/moves.c