berkeley-abc

System for Sequential Synthesis and Verification

---

Build for armv7l-glibc, version 1.01+20201124_{_1}. Builds for all architectures.

---

Details

Homepage:

http://www.eecs.berkeley.edu/~alanmi/abc/

License:

custom:University-of-California, BSD-4-Clause, MIT, BSD-2-Clause

Maintainer:

Đoàn Trần Công Danh

Built at:

2022-10-25 21:41

Installed size:

13.92 MiB

Popularity:

No usages in 107 reports

Depending on:

• bzip2>=1.0.5_{_1}
• glibc>=2.29_{_1}
• libgcc>=4.4.0_{_1}
• libreadline8>=8.0_{_1}
• libstdc++>=4.4.0_{_1}
• zlib>=1.2.3_{_1}