Home    Reference Manuals    Return   

Translating a Vampire input data file into Gensys

The translation of a Vampire input data model into Gensys can partly be made automatic. The following files can be used as an example:

• Master.vampire2gensysf
  Input data file for program vampire2gensys
• vampire_model_loadC0.run
  Vampire main input data file (input to vampire2gensys)
• vampire_model_loadC0.tsimf.save
  Gensys input data file (output from vampire2gensys)
• vampire_model_loadC0.veh
  Vampire model file after manual changes
• vampire_model_loadC0.veh.orig
  Vampire model file before manual changes

Open users manual for program vampire2gensys and follow the instructions.