berkeley-abc

System for Sequential Synthesis and Verification

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 - 2022-10-26 00:54

Source files:

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

Installed size:

13.64 MiB - 16.44 MiB

Popularity:

No usages in 91 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}
• musl>=1.1.21_{_1}
• zlib>=1.2.3_{_1}