Add more provers #539

Open

opened

Provers to add:
DLash (maybe)
cvc5 (reads another format, not tptp, needs interface)
iprover
SPASS
SnakeForV (Variations of Vampire)
Z3
Zipperpin (higher order)

Find more here:
https://tptp.org/cgi-bin/SystemOnTPTP

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests