search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

Issue 247 #252

Closed NicolasRouquette closed 1 year ago

NicolasRouquette commented 1 year ago

The intended functionality is ready; however, the API changes need to be reviewed such as the order of the arguments/returns and the long tuple in PolyhedralTermList.termlist_to_polytope.

NicolasRouquette commented 1 year ago

Based on a discussion with @iincer, we agree that this functionality has little added value.