/Solvers/Vampire-Solver/
../
ca.mcgill.ecse.dslreasoner.vampire.language.ide
ca.mcgill.ecse.dslreasoner.vampire.language.tests
ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests
ca.mcgill.ecse.dslreasoner.vampire.language.ui
ca.mcgill.ecse.dslreasoner.vampire.language
ca.mcgill.ecse.dslreasoner.vampire.queries
ca.mcgill.ecse.dslreasoner.vampire.reasoner