FreeBSD port cad/abc

System for sequential synthesis and verification

Summary

Count	2 occurrences
State	Dead
Last occurred	03/22/2020
Habitening next	02/18/2022
Age	698 days
Average	698 days
Honeymoon
Trend	None
In degree	0
Out degree	2
External links	https://www.freshports.org/cad/abc/ (FreshPorts) https://cgit.freebsd.org/ports/tree/cad/abc (cgit) https://svnweb.freebsd.org/ports/head/cad/abc/?view=log (SVN) https://cgit.freebsd.org/ports/tree/cad/abc/pkg-descr (Long description)