descriptionparametric integer programming library
homepage URLhttp://www.piplib.org/
ownercedric.bastoul@unistra.fr
last changeMon, 9 Aug 2010 06:26:57 +0000 (9 08:26 +0200)
content tags
add:
README
#
#  /**-------------------------------------------------------------------**
#   **                            PIP/PipLib                             **
#   **-------------------------------------------------------------------**
#   **                   Parametric Integer Programming                  **
#   **-------------------------------------------------------------------**
#   **           First version of this file: february 21th 2002          **
#   **-------------------------------------------------------------------**/
#

For complete informations about this software, how to build and use it,
please see the postscript file in the ./doc subdirectory (a pdf version
is available in the web site).

#   **-------------------------------------------------------------------**
#   **                        I. Description                             **
#   **-------------------------------------------------------------------**/

PIP/PipLib is the well known Paul Feautrier's parametric integer programming
solver. PIP is a software which finds the lexicographic minimum of the set of
integer points which lie inside a convex polyhedron. This polyhedron can depend
linearly on one or more integral parameters. If user ask for a non integral
solution, PIP can give the exact solution as an integral quotient. The heart
of PIP is the parametrized Gomory's cuts algorithm followed by parametrized
dual simplex method. The PIP Library (PipLib for short) was implemented to
allow the user to call PIP directly from his programs, without file accesses
or system calls. The user only needs to link his programs with C libraries.

#   **-------------------------------------------------------------------**
#   **                    II. Building PIP/PipLib                        **
#   **-------------------------------------------------------------------**/

The configure shell script attempts to guess correct values for various
system-dependent variables used during compilation. It uses those values to
create a Makefile. The file configure.in is used to create configure by a
program called autoconf.  You only need configure.in if you want to change
it or regenerate configure using a newer version of autoconf.

The simplest way to compile this package is:
cd to the directory containing the package's source code and type 

  ./configure

to configure the package for your system (while running, configure prints
some messages telling which features it is checking for), to compile the
package, type

  make
  

to install the program and/or the library, type

  make install

you can remove the program binaries and object files from the source code
directory by typing
  
  make clean
  
To also remove the files that configure created (so you can compile the
package for a different kind of computer) type
  
  make distclean

#   **-------------------------------------------------------------------**
#   **                           III Options                             **
#   **-------------------------------------------------------------------**/

By default,  make will install the package's files in /usr/local/bin,
/usr/local/lib, etc. You can specify an installation prefix other than 
/usr/local by giving onfigure} the option --prefix=PATH.

By default, both PIP and the PipLib are compiled and installed.
By giving configure the option --without-pip you disable the
compilation and installation of PIP. By giving configure the option
--without-lib you disable the compilation and installation of the PipLib.

By default, both int (32 bits) and long long int (64 bits) versions are
built. By giving configure the option --enable-int you ask for int
version only and by giving configure the option --enable-llint you
ask for long long int version only.

#   **-------------------------------------------------------------------**
#   **                          IV Running PIP                           **
#   **-------------------------------------------------------------------**/

To run PIP, simply type 'pip32' or 'pip64', optionally followed by the name
of an input file. For more informations, please check the ./doc subdirectory.
shortlog
2010-08-09 Uday ReddyAdd .gitignorebug1master
2010-08-09 Sven VerdoolaegeRename VALUE_TO_INT to ENTIER_TO_INT to avoid conflict...
2010-01-01 Sven Verdoolaegeconfigure: replace --with-gmp-{include,library} with...
2009-11-29 Sven Verdoolaegedoc: minor cosmetic change
2009-11-29 Sven Verdoolaegedoc: fix description of how to handle possibly negative...
2009-06-12 Sven Verdoolaegeconfigure: define GIT_INDEX in terms of top_srcdir
2009-03-25 Sven Verdoolaegeconfigure: replace --enable-*-version with --with-bits
2009-03-20 Sven Verdoolaege1.4.0 public releasepiplib-1.4.0
2009-03-08 Sven Verdoolaegedoc: update License section to switch to LGPL 2.1+
2009-03-08 Sven Verdoolaegedoc: keep version number up-to-date
2009-03-08 Sven Verdoolaegegenversion.sh: rename GIT_HEAD_ID to PIPLIB_HEAD and...
2009-03-08 Sven Verdoolaegedoc: replace documentation by texinfo version
2009-03-08 Sven Verdoolaegeconfigure.in: set AC_CONFIG_MACRO_DIR
2009-03-08 Sven Verdoolaegegenversion.sh.in: fix typo
2008-11-26 Sven Verdoolaegepip_create_dump_file: avoid use of mkstemp on MinGW
2008-11-26 Sven Verdoolaegeextract shared pip_create_dump_file from piplib.c and...
...
tags
15 years ago piplib-1.4.0 piplib 1.4.0
17 years ago piplib-1.3.6 piplib 1.3.6
17 years ago piplib-1.3.5 piplib 1.3.5
17 years ago piplib-1.3.4 piplib 1.3.4
17 years ago piplib-1.3.3 piplib 1.3.3
17 years ago piplib-1.3.2 piplib 1.3.2
17 years ago piplib-1.3.1 piplib 1.3.1
17 years ago piplib-1.3 piplib 1.3
17 years ago piplib-1.2.1 piplib 1.2.1
17 years ago piplib-1.2 piplib 1.2
17 years ago piplib-1.1 piplib 1.1
17 years ago piplib-1.02 piplib 1.02
17 years ago piplib-1.01 piplib 1.01
17 years ago piplib-1.0 piplib 1.0
heads
13 years ago master
13 years ago bug1