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

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/20ddb8dd37a7
branches:  trunk
changeset: 377615:20ddb8dd37a7
user:      khorben <khorben%pkgsrc.org@localhost>
date:      Tue Mar 20 15:50:45 2018 +0000

description:
Add py-z3solver

diffstat:

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

diffs (17 lines):

diff -r 671441c5fd95 -r 20ddb8dd37a7 math/Makefile
--- a/math/Makefile     Tue Mar 20 15:50:05 2018 +0000
+++ b/math/Makefile     Tue Mar 20 15:50:45 2018 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.374 2018/03/19 15:27:47 minskim Exp $
+# $NetBSD: Makefile,v 1.375 2018/03/20 15:50:45 khorben Exp $
 
 COMMENT=       Mathematics
 
@@ -300,6 +300,7 @@
 SUBDIR+=       py-sympy
 SUBDIR+=       py-tensorflow-tensorboard
 SUBDIR+=       py-z3
+SUBDIR+=       py-z3solver
 SUBDIR+=       qalculate
 SUBDIR+=       qalculate-bases
 SUBDIR+=       qalculate-currency