pub fn srem(g: &mut Aig, a: &[L], b: &[L]) -> Bits
Signed remainder with the dividend’s sign (by zero: the dividend).