pub fn run_elimination_amf(
ws: &mut Workspace,
aggressive: bool,
) -> Result<StepFlops, OrderingError>Expand description
AMF analogue of run_elimination.
pub fn run_elimination_amf(
ws: &mut Workspace,
aggressive: bool,
) -> Result<StepFlops, OrderingError>AMF analogue of run_elimination.