DAGs -> lets?

Developer
May 24, 2013 at 5:42 PM
Does anyone know if there is a method in Boogie that will covert DAG formulas to "let" formulas?

Thanks -- Ken