Following are the demonstrations of the way in which various solvers behave. The aim of this section is to give a brief idea to the readers as to what are the formats of input and outputs that some of the solvers incorporate. In this way the readers can get a brief idea of the behaviour of the solver even before going through the process of downloading and installing them. Examples are listed in the order of their difficulty level (in terms of processing time, number of constraints, variables, domains etc) for better understanding.