[pkgsrc/trunk]: pkgsrc/math Add py-z3

[khorben <khorben%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/0c63d8c77a77
branches:  trunk
changeset: 377047:0c63d8c77a77
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Mar 13 00:36:57 2018 +0000

description:
Add py-z3

diffstat:

 math/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r d0a8b6b9fe1d -r 0c63d8c77a77 math/Makefile
--- a/math/Makefile     Tue Mar 13 00:36:04 2018 +0000
+++ b/math/Makefile     Tue Mar 13 00:36:57 2018 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.371 2018/03/11 11:25:34 maya Exp $
+# $NetBSD: Makefile,v 1.372 2018/03/13 00:36:57 khorben Exp $
 
 COMMENT=       Mathematics
 
@@ -297,6 +297,7 @@
 SUBDIR+=       py-statsmodels
 SUBDIR+=       py-sympy
 SUBDIR+=       py-tensorflow-tensorboard
+SUBDIR+=       py-z3
 SUBDIR+=       qalculate
 SUBDIR+=       qalculate-bases
 SUBDIR+=       qalculate-currency