diff options
| author | Mark Felder <feld@FreeBSD.org> | 2015-09-22 15:43:18 +0000 |
|---|---|---|
| committer | Mark Felder <feld@FreeBSD.org> | 2015-09-22 15:43:18 +0000 |
| commit | 3469f10855d3dd6f813ccf336f788800a65876d2 (patch) | |
| tree | 7c33c5e5c9e5152ef180faf8eae6ebf79148bf30 /math/Makefile | |
| parent | 5ec03e959472559e58e597a6286af9e28a153a75 (diff) | |
| download | ports-3469f10855d3dd6f813ccf336f788800a65876d2.tar.gz ports-3469f10855d3dd6f813ccf336f788800a65876d2.zip | |
Z3 is a high-performance theorem prover developed
at Microsoft Research.
WWW: https://github.com/Z3Prover/z3
PR: 202136
Submitted by: 6yearold@gmail.com
Notes
Notes:
svn path=/head/; revision=397543
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 4f3944706854..4ec2f0f4f9e8 100644 --- a/math/Makefile +++ b/math/Makefile @@ -688,5 +688,6 @@ SUBDIR += xppaut SUBDIR += xspread SUBDIR += yacas + SUBDIR += z3 .include <bsd.port.subdir.mk> |