If this solver instance is busy abort the run as soon as possible, or do nothing if this solver instance is not busy.

Deletes the internal datastructures of this solver instance.

Determines whether the specified Object is equal to the current Object.

Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection.

Serves as a hash function for a particular type.

Gets the Type of the current instance.

Creates a shallow copy of the current Object.

Solves the given model. Optimizes if model contains at least one objective.

Returns a String that represents the current Object.