Skip to main content

aligned_by_fraig

Function aligned_by_fraig 

Source
pub fn aligned_by_fraig(
    left: &Aig,
    left_latency: usize,
    right: &Aig,
    right_latency: usize,
    opts: &Options,
) -> Result<Report, MiterError>
Expand description

aligned, decided by crate::fraig.