Getting started

In this section it is demonstrated how to prepare your computer so that you can follow the rest of the tutorials.

If you have Linux installed on your computer you can run all the tutorials already, and you do not need to install anything extra at this point. It is recommended, however, to proceed and install OpenDLV Desktop as explained in the following sections. This comes with all tools and dependencies included, and is the same environment as used by Windows and Mac OS users.