Module: ppl/ppl Branch: master Commit: 73dd768d9265a42d3c113f18e62d90948031b13d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73dd768d9265a... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon Feb 14 08:36:29 2011 +0100 Mentioned a correction affecting PIP_Problem solution trees. Mentioned an improvement in the generation of PIP_Tree_Node tautological cnstraints, node splitting constraints and artificial parameters. --- NEWS | 9 +++++++++ 1 files changed, 9 insertions(+), 0 deletions(-) diff --git a/NEWS b/NEWS index ebdbdb3..92a1c73 100644 --- a/NEWS +++ b/NEWS @@ -16,6 +16,11 @@ NEWS for version 0.12 (release date to be decided) New and Changed Features ======================== +o The resolution process for PIP_Problem now better exploits the + integrality of parameters to simplify the newly generated tautological + constraints, the splitting constraints of decision nodes, and the + expressions defining artificial parameters. + o The implementations of the MIP and PIP solvers are based on a new data structure leading to significant space and time savings when the tableau matrix is sparse; the benchmarks of the ppl_lpsol demo @@ -33,6 +38,10 @@ o The input routine for PPL numeric datatypes has been extended to Bugfixes ======== +o Corrected a problem in the simplification of PIP_Problem solution trees + whereby, under specific conditions, the node merging process produced + decision nodes that did not satisfy their class invariant. + o Corrected a problem in the input method for checked integers whereby, under specific conditions, the input stream state bits were not updated. The bug was only affecting builds using checked integer coefficients.