GitHub repository: Abdulrahmansoliman/ORBDD-based-Equivalent-Check
Primary language: Python
Created: 2023-01-29T10:31:13Z
Description: An EC design based on ORBDD, the input will be 2 Boolean functions and results will be ORBDD with Equivalence or Non Equivalence Results