diff options
| author | lwhsu <lwhsu@FreeBSD.org> | 2008-06-19 09:52:25 +0800 |
|---|---|---|
| committer | lwhsu <lwhsu@FreeBSD.org> | 2008-06-19 09:52:25 +0800 |
| commit | 85beb0cfd2c6b246a28bdf0199d2f5735eec3b4b (patch) | |
| tree | 5830bd7e386a53d89df73e895bdc1522de276c3a /math/Makefile | |
| parent | 44f3f0fb1691252a476441e1f5673c8d6858ee3f (diff) | |
| download | freebsd-ports-gnome-85beb0cfd2c6b246a28bdf0199d2f5735eec3b4b.tar.gz freebsd-ports-gnome-85beb0cfd2c6b246a28bdf0199d2f5735eec3b4b.tar.zst freebsd-ports-gnome-85beb0cfd2c6b246a28bdf0199d2f5735eec3b4b.zip | |
Add stp , a Decision Procedure for Bitvectors and Arrays.
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 a705b61402d2..183cea461c3a 100644 --- a/math/Makefile +++ b/math/Makefile @@ -366,6 +366,7 @@ SUBDIR += spooles-mpich SUBDIR += ss SUBDIR += stepulator + SUBDIR += stp SUBDIR += suitesparse SUBDIR += superlu SUBDIR += superlu_mt |