[−][src]Constant clingo_sys::clingo_solve_result_clingo_solve_result_unsatisfiable
pub const clingo_solve_result_clingo_solve_result_unsatisfiable: clingo_solve_result
pub const clingo_solve_result_clingo_solve_result_unsatisfiable: clingo_solve_result