solverl v0.1.1 MinizincResults
Functions and data structures for working with data produced by Minizinc during runtime.
Link to this section Summary
Functions
Update solver process results with the line produced by Minizinc port.
Link to this section Functions
Link to this function
get_status(results)
Link to this function
update_results(results, json_chunk)
Update solver process results with the line produced by Minizinc port.
Link to this function