Tools for Mathematical Ludology