C++ bindings for the ISL (Integer Set Library)