GitHub repository: pravinba9495/formaldehyde
Primary language: TypeScript
Description: 🙏 Open source formal equivalence tool. Supports checking using Binary Decision Diagrams (BDD) and Conjunctive Normal Form Satisfiability (SAT)