pub const clingo_error_e_clingo_error_unknown: clingo_error_e = 4;
Expand description

!< errors unrelated to clingo