search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Vampire version #43

Closed asr closed 7 years ago

asr commented 7 years ago

Running online-atps --list-atps, I got

[Vampire]
  application: For TF0 FOF CNF
  key: online-vampire
  version: 4.1

[Vampire]
  application: For TF0_CSA TF0_SAT FOF_CSA FOF_SAT CNF_SAT
  key: online-vampire
  version: SAT-4.1

but using the --version-atp option I got:

$ online-atps --version-atp=vampire
Vampire---SAT-4.1

Why the version 4.1 of Vampire isn't reported?

jonaprieto commented 7 years ago

I am getting this

$ online-atps --version
Online-atps version 0.1.1
$ online-atps --version-atp=vampire
Vampire---4.1

and

$ online-atp --list-atps
...
[Vampire]
  application: For TF0 FOF CNF
  key: online-vampire
  version: 4.1

[Vampire]
  application: For TF0_CSA TF0_SAT FOF_CSA FOF_SAT CNF_SAT
  key: online-vampire2
  version: SAT-4.1
...

It seems that you are using and old version, please let me know it.

asr commented 7 years ago

The problem was fixed in the current master. Thanks!.