We specify search methods for finite domain variables (IntVar). Similar methods can be defined for set variables (SetVar).
additional switches for search for all solutions.
To be able to print found solutions during search the following solution listener has to be added to the search.
The found solutions can also be printed after search is completed using the following statement.