including test with minizinc examples