summaryrefslogtreecommitdiff
path: root/isl_lp.c
AgeCommit message (Expand)AuthorFilesLines
2009-12-16add copyright statementsSven Verdoolaege1-0/+9
2009-12-16isl_tab_solve_lp: invert optimal value back when computing maximumSven Verdoolaege1-0/+2
2009-10-21put options in a separate isl_options structureSven Verdoolaege1-1/+1
2009-09-06isl_lp.c: add missing includeSven Verdoolaege1-0/+1
2009-08-28rename isl_solve_lp to isl_basic_{map,set}_solve_lpSven Verdoolaege1-1/+10
2009-08-28isl_solve_lp: optionally return solution pointSven Verdoolaege1-5/+15
2009-07-16isl_tab: drop isl_ctx argument where not absolutely requiredSven Verdoolaege1-2/+2
2009-07-13isl_tab: optionally save dual solutionSven Verdoolaege1-1/+1
2009-03-20isl_solve_lp: use tableaus instead of calling piplib (by default)Sven Verdoolaege1-2/+36
2009-03-20isl_solve_lp: accept affine object function instead of linear functionSven Verdoolaege1-0/+10
2008-08-25add convex hull computationSven Verdoolaege1-2/+3
2008-08-25avoid preprocessor conditionalsSven Verdoolaege1-6/+0
2008-08-08Initial version of the integer set librarySven Verdoolaege1-0/+15