diff options
| author | vsevolod <vsevolod@FreeBSD.org> | 2014-01-10 22:31:26 +0800 |
|---|---|---|
| committer | vsevolod <vsevolod@FreeBSD.org> | 2014-01-10 22:31:26 +0800 |
| commit | d83fd51a2c7b90c2f75d565fdeb7451ce084f158 (patch) | |
| tree | eaecccbc483d176d0c0e5bbf46661dd07ee8532d /math/Makefile | |
| parent | 7fd4d020fc9d7e88832a643e9fe2da0043f53a9d (diff) | |
| download | freebsd-ports-gnome-d83fd51a2c7b90c2f75d565fdeb7451ce084f158.tar.gz freebsd-ports-gnome-d83fd51a2c7b90c2f75d565fdeb7451ce084f158.tar.zst freebsd-ports-gnome-d83fd51a2c7b90c2f75d565fdeb7451ce084f158.zip | |
Add gringo - an advanced grounder to compute variable-free programs.
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 71fac62869d6..99b9668e930c 100644 --- a/math/Makefile +++ b/math/Makefile @@ -159,6 +159,7 @@ SUBDIR += graphthing SUBDIR += gretl SUBDIR += gri + SUBDIR += gringo SUBDIR += grpn SUBDIR += gsl SUBDIR += hs-Agda |