Function lpsolve_sys::SOS_is_satisfied

pub unsafe extern "C" fn SOS_is_satisfied(
    group: *mut SOSgroup, 
    sosindex: c_int, 
    solution: *mut c_double
) -> c_int