sci-mathematics / abc

System for sequential logic synthesis and formal verification

Official package sites : https://github.com/berkeley-abc/abc/ · https://people.eecs.berkeley.edu/~alanmi/abc/ ·

ABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification.

v9999 :: 0 :: gentoo

Modified: Sunday 08 September 18:47
License: BSD
USE flags: readline threads

v0_p20230313 :: 0 :: gentoo

Modified: Sunday 08 September 18:47
License: BSD
Keywords: ~amd64 ~x86
USE flags: readline threads

General

readline: Enable support for libreadline, a GNU line-editing library that almost everyone wants
threads: Add threads support for various packages. Usually pthreads

sys-libs / readline : Another cute console display library

sys-libs / readline : Another cute console display library

13 March 2023: Repository mirror & CI · gentoo
Merge updates from master
13 March 2023: Maciej Barć · gentoo
sci-mathematics/abc: new package; add 0_p20230313 and live
Signed-off-by: Maciej Barć <xgqt@gentoo.org>