Fix external solver in python to use 'native' format

Now supports AGGs.