Python implementation of Ponyca.