doc: add some implementation details on parametric integer programming
commit527b862e95d9f98f02147ebde7727c7860690102
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 18 Mar 2011 12:33:13 +0000 (18 13:33 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 18 Mar 2011 12:33:13 +0000 (18 13:33 +0100)
tree749e13e8301cea8af6c21721d5e9cfdf0183acd7
parentf8c0d3f49a092a2d9df4586ec00a1afa45c02563
doc: add some implementation details on parametric integer programming

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/implementation.tex
doc/isl.bib
doc/manual.tex