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

	Commit message (Collapse)	Author	Age
*	Make CbcPolyhedronSolver more robust	Kristóf Marussy	2019-07-29
\|
*	Parse rational numbers in Z3PolyhedronSolver	Kristóf Marussy	2019-07-25
\|
*	Cardinality propagator WIP	Kristóf Marussy	2019-07-24
\|
*	Implement Coin-OR CBC polyhedron saturation operator	Kristóf Marussy	2019-07-19
\|
*	Polyhedron abstraction with Z3 for cardinality propagation	Kristóf Marussy	2019-07-14
\|
*	Interval power and aggregator fix	Kristóf Marussy	2019-05-10
\|
*	Neutral element for sum is [0, 0]	Kristóf Marussy	2019-05-10
\|
*	Interval aggregation operators	Kristóf Marussy	2019-05-09
\|
*	Fix interval join	Kristóf Marussy	2019-05-09
\|
*	Interval comparison	Kristóf Marussy	2019-05-09
\|
*	Implement interval arithmetic without exponentiation	Kristóf Marussy	2019-05-08