Perhaps you could also add a demo program with an interface like piplib's "example". That would make it easier to compare your solver to other pip solvers such as barvinok's lexmin and isl's isl_pip. skimo