gips-tests/gipsl.all.build.implicationstatic
Maximilian Kratz 0c7e4eea2c Removes duplex host edges in all GIPSL specifications
gipsl.all.build.model: EOpposite for host + guests and removes duplex edges in GIPSL specifications
Removes duplex host edges in all other GIPSL projects
2023-04-06 15:43:38 +02:00
..
.settings Fixes impl. tests + adds static tests + switches all impl. tests to GLPK 2022-11-22 11:18:15 +01:00
META-INF MANIFEST changes: JDK17 + new formatter 2023-02-23 16:09:54 +01:00
src/gipsl/all/build/implicationstatic Removes duplex host edges in all GIPSL specifications 2023-04-06 15:43:38 +02:00
.classpath Fixes impl. tests + adds static tests + switches all impl. tests to GLPK 2022-11-22 11:18:15 +01:00
.project Fixes impl. tests + adds static tests + switches all impl. tests to GLPK 2022-11-22 11:18:15 +01:00
build.properties Fixes impl. tests + adds static tests + switches all impl. tests to GLPK 2022-11-22 11:18:15 +01:00