Restore the state of the CP solver at a previously saved state marker. Note: this function only restores the domains of decision variables, constraints that have been posted after saving the state marker are not removed.

The following example shows how to restore the state of a constraint system:

...    ! definition of constraints
...
cp_save_state
if (not cp_propagate) then
 cp_restore_state
 writeln("Problem is infeasible")
 cp_infeas_analysis
 exit(0)
end-if
cp_restore_state
...     ! problem solving

cp_save_state