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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 15 22:15:44 2010 +0100

Put under Git control.

---

demos/ppl_pips/ppl_pips_extra_man_text | 27 +++++++++++++++++++++++++++ 1 files changed, 27 insertions(+), 0 deletions(-)

diff --git a/demos/ppl_pips/ppl_pips_extra_man_text b/demos/ppl_pips/ppl_pips_extra_man_text new file mode 100644 index 0000000..459a133 --- /dev/null +++ b/demos/ppl_pips/ppl_pips_extra_man_text @@ -0,0 +1,27 @@ + +[AUTHOR] +See the file \fBCREDITS\fR in the source distribution or use the command +\fBppl-config --credits\fR for a list of contributors. + +[COPYRIGHT] +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +.br +This is free software; see the file \fBCOPYING\fR in the source +distribution or use the command \fBppl-config --copying\fR to +obtain the copying conditions. There is NO warranty; not even for +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. + +[AVAILABILITY] +The latest version of the Parma Polyhedra Library and all the documentation +is available at \fBhttp://www.cs.unipr.it/ppl/%5CfR . + +[NOTES] +The options \fB-CSECS\fR (\fB--max-cpu\fR=\fISECS\fR) and +\fB-t\fR (\fB--timings\fR) are not available on some platforms. + +[SEE ALSO] +.BR ppl-config(1) +.sp +Paul Feautrier. +.IR "Parametric Integer Programming". +RAIRO Recherche Opérationnelle, 22(3):243-268, 1988.