typeQueries.vql « queries « reasoner « vampire « dslreasoner « ecse « mcgill « ca « queries « 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/queries/ca/mcgill/ecse/dslreasoner/vampire/reasoner/queries/typeQueries.vql

blob: 754b5ac751207b98e6ccbef02ecfabfd6d56975e (plain) (blame)

1	`package ca.mcgill.ecse.dslreasoner.vampire.reasoner.queries`