pub fn separating_input(
left: &Aig,
right: &Aig,
budget: u64,
) -> Result<Option<(Miter, Vec<bool>)>, String>Expand description
An input assignment on which some pair of left’s and right’s outputs differ, found by one search over every
difference at once and replayed before it is returned, with the miter it is an assignment of; Ok(None) when the
search shows they never differ. A search, not a certificate: an equality is claimed only by equivalent.