Function ipasir_sys::ipasir_signature

pub unsafe extern "C" fn ipasir_signature() -> *const c_char

Return the name and the version of the incremental SAT solving library.