Vampire

A simple repackaging of the Vampire automated theorem prover for ease of installation and execution from python. All rights and licensing are up to the Vampire team.

Supplies an x86_64 binary built under Ubuntu 22.04. If you are not running something similar, this is unlikely to work.

Installation

git clone https://github.com/philzook58/pyvampire
cd pyvampire
python3 -m pip install -e .

or

pip install git+https://github.com/philzook58/pyvampire

import vampire
vampire.binpath()
vampire.run(["/tmp/test.p"], capture_output=True) # same arguments as subprocess.run