Repository

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

Last Built

9 months ago passed

Owners

Home Page

https://github.com/cjdrake/pyeda

Badge

Tags

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

Project Privacy Level

Public

Short URLs

pyeda.readthedocs.io
pyeda.rtfd.io

Default Version

latest

'latest' Version

master