Type Definition clingo_sys::clingo_propagator_check_mode

type clingo_propagator_check_mode = u32;

! Supported check modes for propagators.