Repository

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

Project Slug

pyeda

Last Built

1 year, 2 months ago passed

Maintainers

Home Page

https://github.com/cjdrake/pyeda

Badge

Tags

math, EDA, mathematics, logic, satisfiability, Espresso, PicoSAT, SAT, Espresso-exact, Boolean satisfiability, binary decision diagram, truth table, combinatorial logic, logic optimization, logic minimization, combinational logic, Two-level logic optimization, digital logic, Espresso-signature, Two-level logic minimization, Boolean algebra, digital arithmetic, logic synthesis, computer arithmetic, electronic design automation

Project Privacy Level

Public

Short URLs

pyeda.readthedocs.io
pyeda.rtfd.io

Default Version

latest

'latest' Version

master