putVampireHere « lib « ca.mcgill.ecse.dslreasoner.vampire.reasoner « Vampire-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/lib/putVampireHere

blob: cc0bca68aca6d328af5cbb55a8c6716893d95fd5 (plain) (blame)

1 2	`put the Vampire executeable in this folder. rename it to "vampire.exe"`