Open mforets opened 4 years ago
LazySets now has concrete set types for the linear constraint array in the common polyhedral types. Also, the zonotope has type parameters for its center and generators matrix. In consequence, the algorithms in this library should be reviewed.
LazySets now has concrete set types for the linear constraint array in the common polyhedral types. Also, the zonotope has type parameters for its center and generators matrix. In consequence, the algorithms in this library should be reviewed.