2 Commits (598c1c75732b59d37e7a9de9bc16036a0f2a0107)

Author	SHA1	Message	Date
Yanick Witschi	ced24da7b0	Fix PoolOptimizer should consider disjunctive MultiConstraints (#10579)	2022-03-12 14:16:38 +01:00
Yanick Witschi	34183f49f9	Implemented PoolOptimizer	2021-11-11 16:13:24 +01:00