Repository

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

Project Slug

pyeda

Last Built

3 years, 5 months ago passed

Maintainers

Home Page

https://github.com/cjdrake/pyeda

Badge

Tags

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

Short URLs

pyeda.readthedocs.io
pyeda.rtfd.io

Default Version

latest

'latest' Version

master