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