VisualPolylib
=============
http://icps.u-strasbg.fr/polylib

     VisualPolylib consists of as an extension to the PolyLib that permits to
     manipulate and visualize union of parameterized domains (you can use it
     to visualize single non-parameterized polyhedra too of course).

     VisualPolylib reads input from stdin. 
     Thus, a typical execution is 
           "./visualpolylib < exemple/demo".

     Run "./visualpolylib" and then type "help;" for a description of input
     format.

     Some examples are shipped with VisualPolylib in the examples/ directory.

     INSTALLATION REQUIREMENTS
          You need to have the following packages installed before building
          VisualPolylib:
          - the GNU development suite (gcc, automake, autoconf, flex, etc.)
          - Polylib version >= 5.08
            (available at http://icps.u-strasbg.fr/polylib)
          - GTK+ 2.0 which requires ATK, PANGO and GLIB
            (available at http://www.gtk.org)

     INSTALLATION
          1. Unpack the archive
          2. cd to visualpolylib_VERSION/
          3. Run:
                  ./configure
                  make
                  ./visualpolylib <examples/demo
          4. Click everywhere to see what happens

     AUTHORS
          Current maintainer is Vincent Loechner,
             e-mail: loechner@icps.u-strasbg.fr

          Main contributors are:
             Vincent Loechner (visudomain)
             Stephane Genaud (first GTK Version)
             Julien Leger and Gilles Bitran (lex/yacc parser and GTK 2.0)

          This software has been developped at:
             ICPS, LSIIT (UMR CNRS 7005),
             Universite Louis Pasteur de Strasbourg
             Bd. S. Brant,
             F-67400 Illkirch
             France

             http://icps.u-strasbg.fr

     COPYRIGHT
          Permission is granted to copy, use, and distribute
          for any commercial or noncommercial purpose under the terms
          of the GNU General Public license, version 2, June 1991
          (see file : LICENSING).

     USAGE
          After running visualpolylib, you get a "<1>" prompt. Type "help;"
          to get a list of available commands. Most of the polylib functions
          are available via the interface.

          You can open the graphical interface by using command
             "initivisu( <dimension>, <context> ) ;"
          where dimension is the dimension of the polyhedra you want to
          vizualize, and context is the context polyhedron, defining the
          parameters and their validity domains. It can be the empty
          polyhedron { | } if there are no parameters. If you have two
          unconstrained parameters for example, you can define the context
          as { M,N | }.

          After running initvisu, the main gtk window is displayed.
          Your domains can be visualized, once valid parameters have been
          given in the Context window. You can change their values anytime
          and the domains will be dynamically redrawn.

          The Domains' properties windows allows to:
            visualize/mask domains
            show/don't show the integer points contained in the domains
            change their color

          You can print the coordinates of any integer point by clicking on it.

          The 'View Projection' button opens another window which permits to
          change the view of the domain by moving the axes.