small MiniZinc examples demonstrating various language features - View it on GitHub