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