Type Definition clingo_solve_mode
clingo_sys
type clingo_solve_mode = u32;
! Enumeration of solve modes.