``THIS SOURCE CODE IS SUPPLIED  ``AS IS'' WITHOUT WARRANTY OF ANY KIND, 
AND ITS AUTHOR AND THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 
(JAIR) AND JAIR'S PUBLISHERS AND DISTRIBUTORS, DISCLAIM ANY AND ALL 
WARRANTIES, INCLUDING BUT NOT LIMITED TO ANY IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, AND
ANY WARRANTIES OR NON INFRINGEMENT.  THE USER ASSUMES ALL LIABILITY AND
RESPONSIBILITY FOR USE OF THIS SOURCE CODE, AND NEITHER THE AUTHOR NOR
JAIR, NOR JAIR'S PUBLISHERS AND DISTRIBUTORS, WILL BE LIABLE FOR 
DAMAGES OF ANY KIND RESULTING FROM ITS USE.  Without limiting the 
generality of the foregoing, neither the author, nor JAIR, nor JAIR's
publishers and distributors, warrant that the Source Code will be 
error-free, will operate without interruption, or will meet the needs 
of the user.''

This is relaese 1.0 of Comformant Model Based Planner (CMBP). It is
copyrighted by ITC-IRST 2000.

This software was created at ITC-IRST and is provided as is withount
any guarantee/warranty about the suitability of this software for any
purpose. Authors and ITC-IRST are not responsible of any kind of
damage/problem resulting from using this software.

The binary is provided only for Linux x86 (Intel platform) with new
libc. To check if you can run the executable on your Linux machine
execute at the shell prompt the following commands:

shell_prompt> ldd bin/cmbp
        libm.so.6 => /lib/libm.so.6 (0x40013000)
        libc.so.6 => /lib/libc.so.6 (0x40030000)
        /lib/ld-linux.so.2 => /lib/ld-linux.so.2 (0x40000000)

If the output of the command execution looks like the above, than you
will be able to execute cmbp, otherwise you have to install the new C
library.

It is possible ot obtain a Solaris (Sparc platform) version of the
binary by sending an e-mail to either cimatti@irst.itc.it or
roveri@irst.itc.it.

A short explanation of options is available by executing the command:
shell_prompt> cmbp -h

Further informations about conformant planning together with upgrades
can be found at the following URL:

         http://sra.itc.it/research/conformant_planning/

For any problem or question please does not hesiate to contact us at
the below addresses.

---------------------------------
A. Cimatti            and   M. Roveri
cimatti@irst.itc.it         roveri@irst.itc.it
