aboutsummaryrefslogtreecommitdiff
path: root/math/gringo/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Revert r559792 to unbreak INDEX and bulk -aAntoine Brodin2021-01-011-0/+3
* Remove most expired ports that depend on Python 2.7:Rene Ladan2021-01-011-3/+0
* math/gringo: Update 4.5.2 -> 4.5.4Yuri Victorovich2018-07-271-2/+3
* - Update to 4.5.2Vsevolod Stakhov2015-08-171-2/+2
* - Update to 4.4.0Vsevolod Stakhov2014-08-191-2/+2
* Add gringo - an advanced grounder to compute variable-free programs.Vsevolod Stakhov2014-01-101-0/+2