ERODE# Backward Boolean Equivalence Reduction of Boolean networks Notebooks Reduction of synchronous Boolean networks with ERODE