solverl v0.1.2 MinizincResults

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

Link to this section Summary

Link to this section Types

Link to this type

parser_rec()

Specs

parser_rec() ::
  {:parser_rec, status :: atom(), fzn_stats :: map(), solver_stats :: map(),
   mzn_stats :: map(), solution_data :: map(), time_elapsed :: any(),
   minizinc_output :: binary(), timestamp :: DateTime.t(),
   solution_count :: integer(), json_buffer :: binary(),
   final_stats_flag :: boolean()}

Link to this section Functions

Link to this function

minizinc_error(arg)

Link to this macro

parser_rec(record, args)

(macro)
Link to this function

summary(results)