Gentoo Portage Overlays - sci-mathematics/abc

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/abc

System for sequential logic synthesis and formal verification

Screenshots

abc-9999

+readline +threads

View

Download

Browse License: BSD

Overlay: gentoo

abc-0_p20230313

~amd64 ~x86

+readline +threads

View

Download

Browse License: BSD

Overlay: gentoo

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

Runtime Dependencies

abc-9999

readline?
( sys-libs/readline:= )

abc-0_p20230313

readline?
( sys-libs/readline:= )