Non-official C++ bindings for ISL (Integer Set Library)