pub const clingo_error_e_clingo_error_bad_alloc: clingo_error_e = 3;
Expand description

!< memory could not be allocated