Home

First of all, there is a Vampire README:

https://docs.google.com/document/d/1ZMntJ6Vre5oQ3HLP5lvoyBYTJhAKAysxcMKbSsCdIos/edit?usp=sharing

There is also a "not very well documented list of all Vampire options":

https://docs.google.com/document/d/1XtkM7WAcuHt2VMuDtlpv7wCR_z3hUl2TvGoY-G8GTIY/edit?usp=sharing

And, last but not least, also an explanation of Vampire's statistics and logging.

https://docs.google.com/document/d/1vsmC80shh7qCpwgaNTrLzRyz61I0BZWJFvIqiE9yIG8/edit?usp=sharing

It's probably a good idea to have a look at the last one and try to learn how to use it. Maybe we find out it's too complex and not worth maintaining, but it would be pity to just throw it away.