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.