berkeley-abc

System for Sequential Synthesis and Verification

---

Build for aarch64-musl, 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 22:23

Source files:

https://github.com/berkeley-abc/abc/archive/d4fb192575cd319de68764eac5b7e049f575f43e.tar.gz

Installed size:

14.01 MiB

Popularity:

No usages in 88 reports

Depending on:

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