abc 0.0.0.20200911-1.0

Architecture: i486
Repository: i486/community-testing
Description: System for Sequential Logic Synthesis and Formal Verification
Upstream URL:
License(s): MIT
Package Size: 5764.96 kB
Installed Size: 17598.09 kB
Build Date: 2020-09-14 13:47:29
Last Updated: 2020-09-14 15:14:18

Dependencies (30)

Required By (2)

  • haskell-sbv [deletion-list] (check)
  • libabc.so (abc) (link)