clingo_sys
pub const clingo_propagator_check_mode_clingo_propagator_check_mode_fixpoint: clingo_propagator_check_mode = 2
=
2