solverl v0.1.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_status(results)

Link to this macro

results_rec(args \\ [])

(macro)
Link to this macro

results_rec(record, args)

(macro)
Link to this function

update_results(results, json_chunk)

Update solver process results with the line produced by Minizinc port.

Link to this function

update_status(results, status)