aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagatorStrategy.xtend
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-05 23:44:50 +0100
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-05 23:44:50 +0100
commitd53ae070b68fc3bc429c1467f62779ba08d35755 (patch)
tree88e2de252727011a2ba2033aa0267eb211eec208 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagatorStrategy.xtend
parentPrefer the global scope insted of nsURI in application configuration (diff)
parentadd readme and diversity measurements (diff)
downloadVIATRA-Generator-d53ae070b68fc3bc429c1467f62779ba08d35755.tar.gz
VIATRA-Generator-d53ae070b68fc3bc429c1467f62779ba08d35755.tar.zst
VIATRA-Generator-d53ae070b68fc3bc429c1467f62779ba08d35755.zip
merge models20 measurements
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/cardinality/PolyhedronScopePropagatorStrategy.xtend')
0 files changed, 0 insertions, 0 deletions