This is a version of Vampire that has been modified to allow it to be used as an embedded library in other applications. Normally, Vampire is only available as a binary executable.
See the original vampire repository for more details.
Dragon-Hatcher/vampire-lib
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|