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

	Commit message (Collapse)	Author	Age
*	Numeric solver dreal hardcoding -> configV4transformation	OszkarSemerath	2021-07-30
\|
*	CrossingScenario case study is ready for serverdreal-integration	Aren Babikian	2021-02-16
\|
*	measurement setup is ready for server	Aren Babikian	2021-02-07
\|
*	temporary fix for Z3 usage on Linux VM	Aren Babikian	2021-01-26
\|
*	add some actor-related queries, solve minor Z3 issue	Aren Babikian	2021-01-17
\|
*	complete change of real representation BigDecimal->Double	Aren Babikian	2021-01-14
\|
*	implement isSatisfiable with Dreal integration	Aren Babikian	2021-01-06
\|
*	add numericProblemSolver supertype	Aren Babikian	2021-01-06
\|
*	prep for refactoring Numeric Probelm Solvers	Aren Babikian	2021-01-06