Vampire

Vampire is the reasoner implemented by Dr. Voronkov for automated logic problem solving.

* Name: Dr. Andrey Voronkov
* Email: andrey@voronkov.com, voronkov@cs.man.ac.uk
* Affiliation: University of Manchester, UK
* URL: http://voronkov.com
* Comments: an long-time organizer of LPAR, http://dblp.uni-trier.de/db/indices/a-tree/v/Voronkov:Andrei.html
* Suggested by: User:Mokhov