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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Mar 19 19:33:55 2012 +0100

This file is not part of the Parma Polyhedra Library.

---

demos/ppl_lpsol/glpk_set_d_eps.c | 26 ++------------------------ 1 files changed, 2 insertions(+), 24 deletions(-)

diff --git a/demos/ppl_lpsol/glpk_set_d_eps.c b/demos/ppl_lpsol/glpk_set_d_eps.c index 638c8b7..397b48d 100644 --- a/demos/ppl_lpsol/glpk_set_d_eps.c +++ b/demos/ppl_lpsol/glpk_set_d_eps.c @@ -1,30 +1,8 @@ /* Utilities extracted from GLPK's 4.44 (see below for copyright and licensing information).

- The rest of this comment block applies to everything outside - the "Begin GLPK code" and "End GLPK code" marks. - - Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it - Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) - -This file is part of the Parma Polyhedra Library (PPL). - -The PPL is free software; you can redistribute it and/or modify it -under the terms of the GNU General Public License as published by the -Free Software Foundation; either version 3 of the License, or (at your -option) any later version. - -The PPL is distributed in the hope that it will be useful, but WITHOUT -ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or -FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. - -You should have received a copy of the GNU General Public License -along with this program; if not, write to the Free Software Foundation, -Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. - -For the most up-to-date information see the Parma Polyhedra Library -site: http://bugseng.com/products/ppl/ . */ + The code that comes from GLPK's 4.44 is delimited by "Begin GLPK code" + and "End GLPK code" marks. */

#include <gmp.h> #include <assert.h>