clingo_sys
pub const clingo_propagator_check_mode_clingo_propagator_check_mode_none: clingo_propagator_check_mode = 0
=
0