pub const clingo_solve_event_type_e_clingo_solve_event_type_unsat: clingo_solve_event_type_e = 1;
Expand description
!< Issued if an optimization problem is found unsatisfiable.
pub const clingo_solve_event_type_e_clingo_solve_event_type_unsat: clingo_solve_event_type_e = 1;
!< Issued if an optimization problem is found unsatisfiable.