schillic opened this issue 2 years ago · 0 comments
We should probably also rename is_polyhedral to ispolyhedral to be consistent with the other predicates.
is_polyhedral
ispolyhedral