MiniZink: Initialization
Some start of the project
MiniZink: Added some vars
MiniZinc: Problem solved

We hope!
Merge remote-tracking branch 'origin/lab3minizink'