* fixed grounding of recursive aggregates
* fixed usage of lua\_next
* fixed bug when applying constant definitions
* updated underlying clasp to version 3.1.1
* added support for negation in front of relation literals
* added option --update-domains to cleanup gringo's domains
using clasp's top-level assignment when solving incrementally
* added domain inspection to scripting interface
* added term parser to scripting interface
* added support for python 3 (experimental)
* added support for one elementary tuples
* added support for unary - operator in front of functions and symbols
* added support for recursive nonmonotone aggregate via translation
* added program reify to reify logic programs
* added option to rewrite minimize constaints for use with reify
* changed inbuilt iclingo mode
(breaks backwards compatibility)
* changed handling of pools, intervals, and undefined operations according to AG
(breaks backwards compatibility)
* changed handling of ==, it is treated like = now
* changed SolveFuture.interrupt to SolveFuture.cancel
(breaks backwards compatibility)