16 lines
489 B
Python
16 lines
489 B
Python
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"]) |