Automatic algorithm configuration for clingo - View it on GitHub