Manual

Running grader

After the installation and configuration are finished, Gabriel can be run using Activator. Run this command in gabriel directory:

./activator

Then, in the Activator console, run:

run X

where X is the desired number of threads. It can be omitted if you want to use default recommended number of threads based on your processor.