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

	Commit message (Collapse)	Author	Age
*	Scope unsat benchmarks	Kristóf Marussy	2020-05-07
\|
*	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
\|
*	Fix CBC timeout	Kristóf Marussy	2019-07-29
\|
*	Cardinality propagator WIP	Kristóf Marussy	2019-07-24
\|
*	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\|
*	Try fix statecode bug	Kristóf Marussy	2019-06-15
\| \| \| \|	Modified graph width calculation to not depend on order of nodes
*	Objective POC implementation	Kristóf Marussy	2019-04-08
\|
*	Infrastructure for objective functions	Kristóf Marussy	2019-04-07
\|
*	Translated PQueryies are added to annotation.	OszkarSemerath	2018-02-24
\|
*	Rearranged the solver configuration into different subsections	OszkarSemerath	2017-07-12
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	DiversityDescriptor * Describes the required diversity between the solutions. * Null means that the solutions have to have different state codes only. InternalConsistencyCheckerConfiguration * A logic solver that able to check the consistency of an intermediate solution. * Null means that no solver is called. DebugConfiguration * Configuration for debugging support. SearchSpaceConstraint * Configuration for cutting search space.
*	Migrating Additional projects	OszkarSemerath	2017-06-10