Vampire Guide

This repository contains source code and documentation for VampireGuide, an online platform for the first-order theorem prover Vampire.

buildVampireWasm.sh clones the vampire repository and uses these scripts to finish building the vampire.wasm and vampire.js files
- editCMakeLists.sh - edits the CMakeLists.txt cmake vampire build file to support Emscripten/WASM build.
- smallWasmBuild.sh - runs emcmake to build a wasm version of vampire for running in the browser.
vampire-runner.js provides the user-friendly JS interface for calling Vampire in the browser.

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.github/workflows		.github/workflows
docusaurus-site		docusaurus-site
.gitignore		.gitignore
README.md		README.md
buildVampireWasm.sh		buildVampireWasm.sh
coi-serviceworker.min.js		coi-serviceworker.min.js
editCMakeLists.sh		editCMakeLists.sh
index.html		index.html
script.js		script.js
smallWasmBuild.sh		smallWasmBuild.sh
vampire-runner.js		vampire-runner.js

Provide feedback