rAKA/python/py_solver.hh

bugfixes/broken_dumper_…f59c4437da8e38d2b5db980…