pub const clingo_solve_mode_e_clingo_solve_mode_yield: clingo_solve_mode_e = 2;
Expand description
!< Yield models in calls to clingo_solve_handle_model.
pub const clingo_solve_mode_e_clingo_solve_mode_yield: clingo_solve_mode_e = 2;
!< Yield models in calls to clingo_solve_handle_model.