how to install vampire in ubuntu.

[Rajesh Kumar]

 please provide details with code, how to install Vampire in ubuntu. I am new and required basic knowledge for installation.

Thanks & Regards

Rajesh Pathak

[gabo...@gmail.com]

When I installed it, I referred to the following three links [1-3].

[1] https://groups.google.com/g/vampire-users/c/Gh0N-tLxSZI/m/9ws5eI-SAgAJ

[2] https://youtu.be/Q6D21Dp0iCY

[3] https://vampire.york.ac.uk/download/

Kind Regards,

Gavin

VAMPIRE user