summaryrefslogtreecommitdiff
path: root/isl_factorization.h
AgeCommit message (Expand)AuthorFilesLines
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-1/+1
2010-06-12add isl_basic_set_factorizerSven Verdoolaege1-0/+29
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-19 03:02:19 +0000