Constant clingo_sys::clingo_solve_result_e_clingo_solve_result_unsatisfiable

source · 
pub const clingo_solve_result_e_clingo_solve_result_unsatisfiable: clingo_solve_result_e = 2;