Index: head/math/Makefile
===================================================================
--- head/math/Makefile
+++ head/math/Makefile
@@ -660,6 +660,7 @@
     SUBDIR += py-patsy
     SUBDIR += py-plastex
     SUBDIR += py-probstat
+    SUBDIR += py-pyasp
     SUBDIR += py-pybloom
     SUBDIR += py-pycosat
     SUBDIR += py-pyhull
Index: head/math/py-pyasp/Makefile
===================================================================
--- head/math/py-pyasp/Makefile
+++ head/math/py-pyasp/Makefile
@@ -0,0 +1,27 @@
+# $FreeBSD$
+
+PORTNAME=	pyasp
+DISTVERSION=	1.4.3
+CATEGORIES=	math python
+MASTER_SITES=	CHEESESHOP
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Convenience wrapper for the ASP tools gringo and clasp
+
+LICENSE=	GPLv3
+
+RUN_DEPENDS=	clasp:math/clasp \
+		gringo:math/gringo
+
+USES=		python:3.6+
+USE_PYTHON=	distutils autoplist
+
+post-patch:
+	@${REINPLACE_CMD} -e " \
+		s|'bin/'|'${PREFIX}/bin/'| ; \
+		s|'gringo4'|'gringo'| ; \
+		s|access_packaged_file(REL_DIR_BIN + bin_name)|REL_DIR_BIN + bin_name|" \
+		${WRKSRC}/pyasp/constant.py
+
+.include <bsd.port.mk>
Index: head/math/py-pyasp/distinfo
===================================================================
--- head/math/py-pyasp/distinfo
+++ head/math/py-pyasp/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1515837453
+SHA256 (pyasp-1.4.3.tar.gz) = 7ffb2aaa6db33073f488bc946ddbf542d92e0c3f5877b292163a9c4f9c3c9e73
+SIZE (pyasp-1.4.3.tar.gz) = 50937
Index: head/math/py-pyasp/files/patch-setup.py
===================================================================
--- head/math/py-pyasp/files/patch-setup.py
+++ head/math/py-pyasp/files/patch-setup.py
@@ -0,0 +1,20 @@
+--- setup.py.orig	2017-03-28 11:25:30 UTC
++++ setup.py
+@@ -46,7 +46,7 @@ BINARIES_NAME = {
+     # binary remote name: binary local name
+     'clasp-3.1.3': 'clasp',
+     'gringo-3.0.5': 'gringo3',
+-    'gringo-4.5.3': 'gringo4',
++    'gringo-4.5.3': 'gringo',
+ }
+ 
+ BASE_URL_PLATFORM_SPECIFIC_SUBPATHS = {
+@@ -142,7 +142,7 @@ class install(_install):
+     def run(self):
+         """Call superclass run method, then downloads the binaries"""
+         _install.run(self)
+-        self.execute(post_install, args=[], msg=post_install.__doc__)
++        #self.execute(post_install, args=[], msg=post_install.__doc__)
+ 
+ 
+ setup(
Index: head/math/py-pyasp/pkg-descr
===================================================================
--- head/math/py-pyasp/pkg-descr
+++ head/math/py-pyasp/pkg-descr
@@ -0,0 +1,5 @@
+PyASP is a Python convenience wrapper allowing
+to solve boolean satisfiability problems through
+invocation of external commands 'clasp' and 'gringo'.
+
+WWW: http://pypi.python.org/pypi/pyasp/