.. BarvinokTest.cpp CMakeLists.txt FractionTest.cpp GeneratingFunctionTest.cpp IntegerPolyhedronTest.cpp IntegerRelationTest.cpp LinearTransformTest.cpp MatrixTest.cpp Parser.h ParserTest.cpp PresburgerRelationTest.cpp PresburgerSetTest.cpp PresburgerSpaceTest.cpp PWMAFunctionTest.cpp QuasiPolynomialTest.cpp SimplexTest.cpp Utils.h UtilsTest.cpp