solverl v1.0.1 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_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