Constant clingo_sys::clingo_solve_result_clingo_solve_result_satisfiable

pub const clingo_solve_result_clingo_solve_result_satisfiable: clingo_solve_result