ngo is a program and python library to optimize non ground logic ASP encodings for performance. Please read the documentation.
You can get more information about contributing and development.