                    TIP (Transformation of Integer Programming)
                     
                            Qiang  Li             
                      University of Tsukuba     
                            Yike Guo               
                Dept. of Computing, Imperial College  
                                           
                      Co-operated under AITEC      
                       research projet 1997      
                                         

This is a software package for transforming logical formulas into
IP (Integer Programming) formulas. This software runs on Mathematica 3.0.
The examples are attached on behind of the source code TIP.nb.

