Designing Equivalence Checker based on ROBDD algorithm, the engine input will be 2 boolean functions and results will be ROBDD graphs with equivalence or non-equivalence results.
parser-combinators graph-algorithms eda recursion synthesis boolean-expression robdd equivalence-checker
-
Updated
Sep 25, 2024 - Python