path: root/ir/lpp/lpp.h
Commit message (Expand)AuthorAge
* Remove unused copy statistics.Christoph Mallon2015-07-19
* lpp: Remove support for using remote solvers.Matthias Braun2015-05-28
* remove license stuff from filesMatthias Braun2012-12-12
* lpp: call the constraint types lpp_{less|greater}_equal because they are a {l...Matthias Braun2011-08-12
* consistently give all lpp functions an lpp_ prefixMatthias Braun2011-08-12
* lpp: use inline functions instead of macrosMatthias Braun2011-08-12
* lpp: add firm copyright header, some cleanupsMatthias Braun2011-08-12
* lpp: adapt to firm coding conventions, warning fixes, cleanupMatthias Braun2011-06-20
* outsourced some functionalitySebastian Hack2011-06-16
* added lppSebastian Hack2011-06-16