Cleanup the int/ext invocations of the solver