Lab 1 - BooleanAlgebra - AIG_variables description

In labs/lab1/src/BooleanAlgebra.scala

/**
  * Substitutes the variables in an AIG formula with other AIG formulas.
  */
def AIG_variables(f: AIG_Formula): Set[Int] = ???

should be

/**
  * Returns the set of variables in an AIG formula.
  */
def AIG_variables(f: AIG_Formula): Set[Int] = ???

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information