Repository

https://github.com/cjdrake/pyeda.git

Project Slug

pyeda

Last Built

4 years, 3 months ago passed

Maintainers

Home Page

https://github.com/cjdrake/pyeda

Badge

Tags

binary-decision-diagram, boolean-algebra, boolean-satisfiability, combinational-logic, combinatorial-logic, computer-arithmetic, digital-arithmetic, digital-logic, eda, electronic-design-automation, espresso, espresso-exact, espresso-signature, logic, logic-minimization, logic-optimization, logic-synthesis, math, mathematics, picosat, sat, satisfiability, truth-table, two-level-logic-minimization, two-level-logic-optimization

Short URLs

pyeda.readthedocs.io
pyeda.rtfd.io

Default Version

latest

'latest' Version

master