A certain trading card game engine in Python