/pyprove

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

ATPy

Python Library for ATP Projects.

Quick Install

$ pip install . --user

Developers

$ pip install -e . --user

MacOS

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

Credits

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