configs « hu.bme.mit.inf.dslreasoner.run « Tests - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

Mode	Name	Size
-rw-r--r--	FAM_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json	255	log stats plain blame
-rw-r--r--	Yakindu_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json	361	log stats plain blame
-rw-r--r--	ecore_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json	334	log stats plain blame
-rw-r--r--	fs_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json	372	log stats plain blame
-rw-r--r--	satellite_useful_ViatraSolver_polyhedral_typeHierarchy_Clp.json	395	log stats plain blame