http://whatever-project.com/projects/current/vampire-library and you're welcome :)...