Function minisat::sys::minisat_num_propagations

pub unsafe extern "C" fn minisat_num_propagations(
    s: *mut minisat_solver
) -> c_int