solverl v1.0.7 MinizincResults

Functions and data structures for working with data produced by Minizinc during runtime.

Link to this section Summary

Link to this section Functions

Link to this function

get_checker_output(solution)

Link to this function

get_last_solution(solver_results)

Link to this function

get_method(solver_results)

Link to this function

get_solution_count(solver_results)

Link to this function

get_solution_index(solution)

Link to this function

get_solution_objective(solution)

Link to this function

get_solution_output(solution)

Link to this function

get_solution_value(solution, varname)

Link to this function

get_solutions(solver_results)

Link to this function

get_status(solver_results)

Link to this function

has_solution(solver_results)

Link to this function

status(method, status)