Equivalence checker for contextual formulas
-
Updated
Aug 31, 2024 - Python
#
equivalence-checker
Here are 2 public repositories matching this topic...
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
Improve this page
Add a description, image, and links to the equivalence-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the equivalence-checker topic, visit your repo's landing page and select "manage topics."