Python Library for ATP Projects.
$ pip install . --user
$ pip install -e . --user
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