GrinGo / News: Recent posts

GrinGo 1.0.0 Release Announcement

We are proud to announce the first release of the grounder GrinGo.
We also want to thank everyone who helped us by testing beta versions of GrinGo and sending bug reports.

GrinGo supports the class of lambda-restricted programs that extends Lparse's omega-restricted programs.
Its instantiation procedure uses back-jumping improved by the binder-splitting technique.
This release contains a number of bugfixes, performance optimizations,
and most importantly, new features demanded by the ASP community.... read more