8 Jun
2018
8 Jun
'18
4:42 p.m.
Hello, thank you for your great library. I'm using it a lot. I have a question respectively a feature request: Is there any way to get the facet-vertex incidence structure? I have found out that ppl internally computes it and saves it in the private class members 1. Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_c 2. Bit_Matrix Parma_Polyhedra_Library::Polyhedron::sat_g It would be great to be able to access them. Thanks in advance Lovis Anderson