rAKA/python/py_solver.hh

bugfixes/broken_dumper_…da42e172aec1b95d38a701e…