pykoan (pypi): Game of Logic
Keywords: Python|Expression Trees|Logic|Constraints