LLM Integration for the ESBMC Vampire Project for the Simplification of Loop Invariants.
Check out the ESBMC Vampire Project Repository:
Either here: https://github.com/ibnyusuf/esbmc-vampire-project
Or the Forked Version on this account.
Pre-requisites:
-
Install ESBMC and make sure that it is working on the chosen machine properly - preferably on a Linux Operating System (OS), (Other OS may work but setting up may be a bit more challenging).
-
Install Vampire Automated Theorem Prover and ensure that runs properly on the system.
-
Ensure that you have an OpenAI API Key - that will allow you run the Script with the GPT Model (LLM).