This tutorial will cover how to start arni and how to make sure it works correctly.

This tutorial covers the basic steps to create a specification.

This tutorial shows how to create constraints checking the rating of statistics and executing actions according to the ratings.