(This is a fork of cjdrake/pyeda to experiment some formal verification algorithms )
PyEDA is a Python library for electronic design automation.
- Symbolic Boolean algebra logic expressions
- Conjunctive normal form logic expression representation
- DPLL SAT solver
- Multi-dimensional bit vectors
- DIMACS CNF/SAT parser
- Chris Drake (cjdrake AT gmail DOT com), http://cjdrake.blogspot.com