aboutsummaryrefslogtreecommitdiffstats
path: root/math/gringo
Commit message (Expand)AuthorAgeFilesLines
* Replace USE_GCC=4.8+ by the equivalent, but preferred USE_GCC=yes.gerald2014-09-211-1/+1
* Fix build on 8 and 9 where there is no std::strtoull.vsevolod2014-08-271-11/+19
* Test fix for math/gringo.mandree2014-08-221-0/+12
* - Update to 4.4.0vsevolod2014-08-192-4/+4
* - Unbreak on FreeBSD < 10vsevolod2014-01-241-5/+13
* Add gringo - an advanced grounder to compute variable-free programs.vsevolod2014-01-103-0/+35