barvinok 0.39 was released containing various changes:
-
Support more recent versions of NTL
In particular, assume NTL has been compiled in ISO mode, which has been the default ever since NTL 5.4, and handle a change in internal representation of NTL.
-
Support more operations in iscc
These additional operations are needed for some of the examples in the Presburger Formulas and Polyhedral Compilation tutorial.