0.3.1.1
 - User manual added.

0.3.1.0
 - Addition of two modules that support easy use of time-space constraints, based on the "Geometrical
   constraints for CRUD", by N. Beldiceanu, E. Arafailova, R. Douence.
 - MiniZinc boolean, integer and floating point literals are now represented easily with
   Haskell literals. Functions "int", "bool" and "float" are not necessary any more.
 - With the use of the OverloadedStrings option, a MiniZinc variable reference can be 
   represented easily with the name of that variable as a Haskell string.
 - Simpler declaration of variables and user-defined operations.

0.3.0.0
 - Added support for annotations
 - Structural changes in the representational system of MiniZinc models
 - Module Interfaces.MZAST renamed to Interfaces.MZASTBase
 - Module Interfaces.MZAST used for a more human friendly interface for building 
   representations of MiniZinc models.
 - Module Interfaces.MZBuiltIns added. Contains haskelzinc represenatation of predefined MiniZinc 
   operators, functions, tests, predicates and annotations.
 - Module Interfaces.FZSolutionParser provides parsers useful for building custom solutions' 
   parsers, in case a MiniZinc output item alters the default format of the solutions.
 - Compatibility with GHC 8.0.1 tested (and passed)

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