Impress your friends with faster encodings! Ngo is a program and python library to optimize ASP encodings for performance. You can either optimize your encoding once or simply keep your readable and maintainable encoding and transform it every time before you actually solve. The transformation is independent from instances and purely syntactical.

pip install ngo
cat encoding.lp | ngo > improved_encoding.lp

Documentation

Resources