Multiple solutions supported now (and some problem with strings found
and documented in comments)
Updated readme
Added minimal MiniZinc example
Support for all solutions added
Updated todo list
Added parameter declaration. Var names now optional
Parameter tests added