pub const clingo_solve_mode_e_clingo_solve_mode_async: clingo_solve_mode_e = 1;
!< Enable non-blocking search.