Skip to main content

miter

logicaffeine_proof::sweep

Function miter 

Source 
pub fn miter(left: &Aig, right: &Aig) -> Result<Miter, MiterError>