Package Details: abc-git 1.02.r5444.806a996-2

Git Clone URL: (read-only, click to copy)
Package Base: abc-git
Description: System for Sequential Logic Synthesis and Formal Verification
Upstream URL:
Licenses: BSD
Conflicts: abc
Provides: abc,
Submitter: spaceships
Maintainer: TheBitFighter
Last Packager: TheBitFighter
Votes: 1
Popularity: 0.000000
First Submitted: 2019-09-05 21:48 (UTC)
Last Updated: 2024-06-06 11:57 (UTC)

Dependencies (4)

Required by (1)

Sources (2)