I now know how to parse the GXL file. Now, I just need to build the SMT formulation, which I have a pretty good idea how -- use uninterpreted functions