update pet to version 0.03
[barvinok.git] / evalue_util.h
blobde37ab435e8ac5ffc7ecc39504205b7fd2c747cb
1 #include <iostream>
2 #include <gmp.h>
3 #include <barvinok/evalue.h>
5 void evalue_print(std::ostream& o, evalue *e, char **p);