DONE-INSTANCES
Arguments: () [generic-function]
Returns the current (partial) solution. You can use this box together with user-Cnstr to build constraints that look during the search at the values of all the previously instanciated variables.
See the documentation of User-Cnstr
