rAKA/python/py_solver.cc

bugfixes/broken_dumper_…774ecbc86b45685a66e6777…