Example models library for coreLang
Each folder containing models should also include a manifest.txt file that mentions the coreLang version number and the git SHA1 commit ID needed to run the models. Additional information can be added to the manifest.txt file where deemed appropriate.
The validation folder contains the models used for the coreLang validation work. Each subfolder is named after a tactic and comprises the models pertaining to it.