model « logic « dslreasoner « inf « mit « bme « hu « src « hu.bme.mit.inf.dslreasoner.logic.model « Framework - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

Mode	Name	Size
d---------	builder	403	log stats plain
d---------	statistics	112	log stats plain