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