Function clingo_sys::clingo_solve_handle_core

pub unsafe extern "C" fn clingo_solve_handle_core(
    handle: *mut clingo_solve_handle_t,
    core: *mut *const clingo_literal_t,
    size: *mut usize
) -> bool

! When a problem is unsatisfiable, get a subset of the assumptions that made the problem unsatisfiable. ! ! If the program is not unsatisfiable, core is set to NULL and size to zero. ! ! @param[in] handle the target ! @param[out] core pointer where to store the core ! @param[out] size size of the given array ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc