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

	Commit message (Collapse)	Author	Age
*	Optimizing generator with linear objective functions	Kristóf Marussy	2020-11-02
\|
*	Merge branch 'kris'	Kristóf Marussy	2020-06-25
\|
*	Fix numeric-solver-at-end	Kristóf Marussy	2020-05-20
\|
*	intermediateConsistencyCheck controls the maySatisfiable only	Oszkar Semerath	2020-05-19
\|
*	fixes for the measurement	Oszkar Semerath	2020-05-14
\|
*	logging detailed measurement data for the numerical solver	Oszkar Semerath	2020-05-12
\|
*	Allow real numbers to be in the solution	anqili426	2020-05-10
\|
*	separated must and current UP rules to support non-prop neg finds	Oszkar Semerath	2020-05-11
\|
*	measurement time statistics + activation selection strategies	Oszkar Semerath	2020-05-10
\|
*	uninvolved objects are filled with a default value	Oszkar Semerath	2020-05-09
\|
*	Numeric Solver integration to exploration	Oszkar Semerath	2020-05-09