1. This function is used to provide the expectations of the modeler on the values of selected variables in possible MIP solutions. It is different to loadmipsol in that it is not necessary to provide full, feasible MIP solutions. The values provided will be used by the Optimizer to attempt to generate full MIP solutions. The addmipsol function can therefore be used to trial the feasibility of certain variable value assignments without the need to fix them in the problem formulation itself.

2. The solution value array s is created by assigning values to discrete variables in the problem, such as s(x):= 1 (where x is a decision variable of type mpvar). It is also possible to use a solution that has previously been saved using the procedure savemipsol.

3. If the provided solution is found to be infeasible, a limited local search heuristic will be run in an attempt to find a close feasible integer solution.

4. The current problem definition must be loaded into the Optimizer for addmipsol to have any effect. If this has not recently been done, e.g., by calling maximize or minimize, the problem must be explicitly loaded using loadprob.

5. The function returns immediately after passing the solution to the Optimizer. The solution is placed in a pool until the optimizer is able to analyze the solution during a MIP solve.

6. The SOLNOTIFY callback function can be used to discover the outcome of a loaded solution, based on the identifier assigned to the solution (see setcallback).