from minizinc import Instance, Model, Solver

# Load n-Queens model from file
nqueens = Model("./cache/sample_degree_check.mzn")
#nqueens = Model("./cache/nqueens.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()
# Output the array q
print(result)
#print(result["rule_1_needed","rule_2_needed"])