Destroy the specified solver, free all memory, etc. Note that ECLiPSe will normally do the cleanup automatically, for instance when execution fails across the solver setup, or when a solver handle gets garbage collected.
This predicate should be used with caution as the information from the solver state will no longer be available. In particular, if the program backtracks to a point between the problem set up and clean up, accessing the solver state directly or indirectly (e.g. unifying a problem variable) will result in a stale handle error.