vampire-4.2.2
- This is a brief introduction to this repository. Please see the vampire website for more general information about vampire. Please see LICENCE for usage restrictions. Note that vampire makes use of minisat and z3 and some of this code is included in this codebase, such code is provided under their own licence.