vampireCode.tptp « files « output « ca.mcgill.ecse.dslreasoner.vampire.test « Tests - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/files/vampireCode.tptp

blob: ddeec4f419cdd83936d45b188320b106fe1142c8 (plain) (blame)

%This is an initial Test Comment 
 fof ( assertion1 , axiom , ~ ( constant1 & constant2 ) <=> ( ~ constant1 | ~ constant2 ) ) .