Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

sci-mathematics/
abc

System for sequential logic synthesis and formal verification

https://people.eecs.berkeley.edu/~alanmi/abc/

Latest Commits

RSS Feed
  • Commits on 2023-03-13
    • sci-mathematics/abc: new package; add 0_p20230313 and live
      0815664
      Maciej Barć committed on 2023-03-13 21:37:56 UTC
      Manifest abc-0_p20230313.ebuild abc-9999.ebuild files/abc-0_p20230313-libabc.patch metadata.xml