Removing DFSP solver