Removed old MIP solve stuff. Fixes #10