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

	Commit message (Collapse)	Author	Age
*	Must unit propagation	Kristóf Marussy	2020-08-28
\|
*	Optimizations	Kristóf Marussy	2020-07-14
\|
*	Trying to fix performance regressions	Kristóf Marussy	2020-07-07
\|
*	Fix scope + numerical solver interaction	Kristóf Marussy	2020-06-28
\|
*	Fix scope + numerical propagation WIP	Kristóf Marussy	2020-06-27
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|
*	Measurements WIP	Kristóf Marussy	2019-08-14
\|
*	Counting scope propagator (simpler than BasicTypeHierarchy)	Kristóf Marussy	2019-08-01
\|
*	Configurability and better statistics for measurements	Kristóf Marussy	2019-08-01
\|
*	Cardinality propagator WIP	Kristóf Marussy	2019-07-24
\|
*	Transitive closure of type hierarchy in ScopePropagator	Kristóf Marussy	2019-07-14
\| \| \| \| \|	This does not mappter for propagateAllScopeConstraints(), but propagateAdditionToType gets more exact this way.
*	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14