Giters
jonaprieto
/
online-atps
Run ATPs from SystemOnTPTP
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
2
Issues:
38
Forks:
1
jonaprieto/online-atps Issues
Async the request to test atp against a problem
Updated
6 years ago
Comments count
1
Missing support for GHC 8.4.2
Closed
6 years ago
Broken `--with-all` option
Updated
7 years ago
Comments count
5
Vampire version
Closed
8 years ago
Comments count
2
The ATPs defined in the .onlineatps file doesn't have effect
Closed
8 years ago
Comments count
1
--only-first option
Updated
8 years ago
--async
Closed
8 years ago
Comments count
1
suggest the more similar ATP given a name
Closed
8 years ago
Comments count
2
In the command line the --atp=NAME should allow uppercase
Closed
8 years ago
Comments count
1
--recommend-systems
Closed
8 years ago
Comments count
1
Provide all options of SystemOnTPTP in the command line
Closed
8 years ago
Comments count
1
--quiet-mode this is about the verbosity of the output
Closed
8 years ago
Comments count
1
--output-dir
Closed
8 years ago
--FormulaURL
Closed
8 years ago
Comments count
1
--system-info about the atp
Closed
8 years ago
Comments count
1
--X2TPTP
Closed
8 years ago
Comments count
1
--TSTPData
Closed
8 years ago
--cpu-password
Closed
8 years ago
Travis: Remove test with GHC 8.0.1
Closed
8 years ago
Haddock documentation
Closed
8 years ago
Missing Basic Tests
Closed
8 years ago
--one-request
Updated
8 years ago
Cannot install using GHC 7.6.3
Closed
8 years ago
Comments count
4
Unnecessary dependency on the `cpphs` library
Closed
8 years ago
Comments count
3
Cannot install using GHC 7.10.3
Closed
8 years ago
Comments count
6
Cannot install using GHC 7.8.4
Closed
8 years ago
Comments count
4
--with-all
Closed
8 years ago
replace all print outs with failure with `die`
Closed
8 years ago
empty .onlineatps breaks the normal behavior
Closed
8 years ago
Use YALM configuration like Apia
Closed
8 years ago
Comments count
1
Make available all kind of ATPs
Closed
8 years ago
Offer all options of SystemOnTPTP in onlineatps
Closed
8 years ago
exitFailure is the filepath doesn't exist.
Closed
8 years ago
--check-theorem to output only Theorem or No theorem.
Closed
8 years ago
Send a file problem in tptp format in Consult.getResponseSystemOnTPTP
Closed
8 years ago
The command line executable that accepts filename, the atp and its version
Closed
8 years ago
Check the output of the online ATPs
Closed
8 years ago
given an valid online atp name return a valid SystemATP
Closed
8 years ago