Module: ppl/ppl Branch: master Commit: f53ed666287c55ea74013d3314bbbc9451ca49dc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f53ed666287c5...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 19 17:17:49 2011 +0100

Updated the entry for Marco Poletti.

---

CREDITS | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/CREDITS b/CREDITS index ea49aa7..c88eca7 100644 --- a/CREDITS +++ b/CREDITS @@ -43,12 +43,13 @@ Current Contributors: at the implementation of the Parametric Integer Programming solver.

- Marco Poletti (student of the University of Parma) + Marco Poletti (student of the University of Bologna) implemented the sparse matrices that are used in the MIP and PIP solvers of the PPL; he also did experiments on the parallelization of the sparse matrices' computations; he is now working - on improving the PPL's memory footprint. + on improving the PPL's memory footprint and + on other improvements to the library.

Enric Rodriguez Carbonell [4] (Technical University of Catalonia) is working on the implementation of polynomial spaces.