from minizinc import Instance, Model, Solver

# Load 
nqueens = Model("cache/playground.mzn")
# Find the MiniZinc solver configuration for Gecode
gecode = Solver.lookup("gecode")
# Create an Instance of the n-Queens model for Gecode
instance = Instance(gecode, nqueens)
# Assign 4 to n
#instance["n"] = 4
#result = instance.solve()
result = instance.solve(all_solutions=True)
# Output the array q
#print(result)
for i in range(len(result)):
    print(result[i])