0.2.0.0
 - Added support for returning specified number of solutions
 - Interactive interface of iTestModel improved
 - Skips writing .mzn file
 - Parses solutions directly, instead of writing into and reading from a file