Examples for eMoflon::TIE-GT
Go to file
2019-02-13 21:58:38 +01:00
dyve-model Add DyVE to test suite 2019-01-30 15:59:45 +01:00
EMoflonTieGtTestSuite Add Sokoban tests to test suite 2019-02-11 18:55:34 +01:00
GraphOperations Test for literal expression in pattern invocation 2019-02-01 00:29:52 +01:00
Sokoban Fix bug in treatment of bound and free attribute-value variables 2019-02-13 21:58:38 +01:00
test2 Implement proper formatting 2019-01-30 14:48:55 +01:00
.gitignore examples for binding 2018-11-12 18:50:54 +01:00
README.md Create README.md 2019-01-31 13:59:13 +01:00
tieGtExamples.psf Update team project set 2019-02-11 18:56:48 +01:00

Examples for eMoflon::TIE-GT

Please refer to https://github.com/eMoflon/emoflon-tie-gt (developer-focused information) or https://emoflon.org (user-focused information).