CVS commit: pkgsrc/math/z3

["David A. Holland" <dholland%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   dholland
Date:           Tue Nov 24 05:45:58 UTC 2015

Added Files:
        pkgsrc/math/z3: DESCR Makefile PLIST distinfo options.mk
        pkgsrc/math/z3/patches: patch-scripts_mk__util.py

Log Message:
Package the Z3 theorem prover / SMT solver from Microsoft Research.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/z3/DESCR pkgsrc/math/z3/Makefile \
    pkgsrc/math/z3/PLIST pkgsrc/math/z3/distinfo pkgsrc/math/z3/options.mk
cvs rdiff -u -r0 -r1.1 pkgsrc/math/z3/patches/patch-scripts_mk__util.py

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.