VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

	Commit message (Collapse)	Author	Age
*	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\|
*	Containment root constraint propagator	Kristóf Marussy	2019-07-24
\|
*	Cardinality propagator WIP	Kristóf Marussy	2019-07-24
\|
*	Fault tree transformation for partial models WIP	Kristóf Marussy	2019-03-20
\|
*	Translated PQueryies are added to annotation.	OszkarSemerath	2018-02-24
\|
*	Support for generationg multiple difference models by VIATRA-Solver	OszkarSemerath	2017-07-05
\|
*	Divers Generation times are added to statisticsexample scenario	OszkarSemerath	2017-06-16
\|
*	Migrating Additional projects	OszkarSemerath	2017-06-10