gentoo.mahdi.cz

  

sci-mathematics:abc


System for sequential logic synthesis and formal verification

abc-9999BSD
download~amd64 ~x86gentoo
abc-0_p20230313BSD
download~amd64 ~x86gentoo