summaryrefslogtreecommitdiff
path: root/isl_ilp.c
AgeCommit message (Expand)AuthorFilesLines
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-10-21isl_basic_set_solve_ilp: handle obviously empty setsSven Verdoolaege1-0/+3
2009-10-21isl_basic_set_solve_ilp: fix handling of sets with equalitiesSven Verdoolaege1-1/+3
2009-10-08isl_ilp.c: separate out solve_ilp_searchSven Verdoolaege1-47/+67
2009-09-13rename isl_basic_set_sample to isl_basic_set_sample_vecSven Verdoolaege1-2/+2
2009-09-13make some internal functions staticSven Verdoolaege1-1/+1
2009-08-28add generalized basis reduction based ILP solverSven Verdoolaege1-0/+298