Index: devel/abc/Makefile
===================================================================
--- /dev/null
+++ devel/abc/Makefile
@@ -0,0 +1,31 @@
+# Created by: Johnny Sorocil <propaliidealist@gmail.com>
+# $FreeBSD$
+
+PORTNAME=	abc
+PORTVERSION=g20180310
+CATEGORIES=	devel
+
+MAINTAINER=	propaliidealist@gmail.com
+COMMENT=	System for Sequential Logic Synthesis and Formal Verification
+
+LICENSE=	BSD
+LICENSE_FILE=	${WRKSRC}/copyright.txt
+
+USES=		gmake readline
+
+USE_GITHUB=		yes
+GH_ACCOUNT=		berkeley-abc
+GH_PROJECT=		abc
+GH_TAGNAME=		e839091ba05083f166356f5455cea7ba3adad8d6
+
+MAKE_ARGS=		CC=${CC} CXX=${CXX} ABC_USE_LIBSTDCXX=1
+
+PLIST_FILES=	bin/abc
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/abc ${STAGEDIR}${PREFIX}/bin
+
+post-install:
+	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/abc
+
+.include <bsd.port.mk>
Index: devel/abc/distinfo
===================================================================
--- /dev/null
+++ devel/abc/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1527189461
+SHA256 (berkeley-abc-abc-g20180310-e839091ba05083f166356f5455cea7ba3adad8d6_GH0.tar.gz) = 87f403e744db19f26c6bcfe92a926b1ba60e4f7d371e5c9903b03ab42d9c7487
+SIZE (berkeley-abc-abc-g20180310-e839091ba05083f166356f5455cea7ba3adad8d6_GH0.tar.gz) = 5577159
Index: devel/abc/pkg-descr
===================================================================
--- /dev/null
+++ devel/abc/pkg-descr
@@ -0,0 +1,3 @@
+ABC is System for Sequential Logic Synthesis and Formal Verification
+
+WWW: https://people.eecs.berkeley.edu/~alanmi/abc/