Python Electronic Design Automation
Project description
Python Electronic Design Automation Repository
PyEDA is a Python library for electronic design automation.
Features
Symbolic Boolean algebra logic expressions
Conjunctive normal form logic expression representation
DPLL SAT solver
Multi-dimensional bit vectors
DIMACS CNF/SAT parser
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
pyeda-0.12.0.zip
(49.8 kB
view hashes)
pyeda-0.12.0.tar.gz
(42.3 kB
view hashes)