Function minisat::sys::minisat_setPolarity

pub unsafe extern "C" fn minisat_setPolarity(
    s: *mut minisat_solver, 
    v: minisat_Var, 
    b: c_int
)