Python Library for ATP Projects.

$ pip install . --user

$ pip install -e . --user

For this program to work the timout command must be available. Since this is normally not the case install it first by running (assumes brew):

brew install coreutils
sudo ln -s /usr/local/bin/gtimeout /usr/local/bin/timeout

Check if the command works by running

timeout --help

Development of this software prototype was supported by:

• ERC Consolidator grant no. 649043 AI4REASON
• ERC Starting grant no. 714034 SMART
• FWF grant P26201
• Cost Action CA15123 EUTypes