abc-libs - Library for sequential synthesis and verification
| Website: | http://www.eecs.berkeley.edu/~alanmi/abc/abc.htm |
|---|---|
| License: | GPLv3+ |
- Description:
This package contains the core functionality of ABC as a shared library.
Packages
| abc-libs-1.01-4.hg20150306.fc22.soc.x86_64 [3.8 MiB] |
Changelog
by Jerry James (2015-03-07):
- Update to latest mercurial snapshot |