Skip to main content

not

bitwright::prove::blast

Function not 

Source 
pub fn not(g: &mut Aig, a: &[L]) -> Bits