Function clingo_sys::clingo_control_interrupt

pub unsafe extern "C" fn clingo_control_interrupt(
    control: *mut clingo_control_t
)

! Interrupt the active solve call (or the following solve call right at the beginning). ! ! @param[in] control the target