The LICENSE file contains the license for this release.
The program is released under GNU GPL license.


To compile:

go to directory src

edit Makefile.globals to 
set the directories correctly.

type make.


The targets are 

1. lpinv : This file can read in examples from Examples/Standard
2. lpinv-delz : This recognizes the examples borrowed from Giorgio 
Delzanno's home page. 
3. carsd: This simulates the n-cars example for different n.

to run 

type 

lpinv <input > output

lpinv-delz < input > output (works on files in Examples/Delz)

important options are 

-enrich=k (default 2). How many rounds should the template be "enriched"?
(For some examples, using enrich>=3 can be overkill).

-propagate: run CH79 on the example

To run the "cars" example

carsd -ncars=n [-enrich=k -propagate]

Note that for n>=3 the system generated will not be printed.

If you have
 comments and questions, please email
Sriram Sankaranarayanan <srirams@theory.stanford.edu>
http://www.stanford.edu/~srirams
