This repository contains a user guide to the Potassco benchmark tool found at https://github.com/potassco/benchmark-tool.

For a general guide, please read General-guide

For a step by step guide on changing the example to run vanilla clingo please read run-vanilla-clingo