MinizincSolver.solve
You're seeing just the function
solve
, go back to MinizincSolver module for more information.
Link to this function
solve(model, data \\ [], solver_opts \\ [], server_opts \\ [])
Specs
solve( MinizincModel.mzn_model(), MinizincData.mzn_data(), solver_opts(), server_opts() ) :: {:ok, pid()} | {:error, any()}
Solve (asynchronously) with model, data and options.
Example:
# Solve Sudoku puzzle with "mzn/sudoku.mzn" model, "mzn/sudoku.dzn" data,
# and custom solution handler Sudoku.solution_handler/2.
#
MinizincSolver.solve("mzn/sudoku.mzn", "mzn/sudoku.dzn", [solution_handler: &Sudoku.solution_handler/2])
Check out Sudoku
module in examples/sudoku.ex
for more details on handling solutions.