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