summaryrefslogtreecommitdiff
path: root/isl_lp.c
AgeCommit message (Expand)AuthorFilesLines
2011-01-27merge isl_basic_set/isl_basic_map and isl_set/isl_mapSven Verdoolaege1-1/+1
2011-01-06isl_basic_map_solve_lp: use denominatorSven Verdoolaege1-1/+1
2010-11-20Rename headers from isl_header.h to isl/header.hSven Verdoolaege1-3/+3
2010-03-23add isl_set_solve_lpSven Verdoolaege1-0/+118
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