This is release 1.0.0 of aSMV (an abstraction based SMV).

This is the first release of aSMV, an abstraction based SMV. It is
based on NuSMV v1.0.1 which is developed by Marco Roveri et al. 

Along with aSMV, a modified version of Colorado University Decision 
Diagram package (CUDD) is provided.

To build aSMV, you will need

	* An ANSI C compiler (gcc will do, as will several versions of cc)
	* GNU Flex version 2.5 or greater
	* GNU Bison version 1.22 or greater
	* GNU's make utility
	* GNU's gzip utility
	* Approximately 32 MB of free disk space for building the system
	* Approximately 15 MB of free disk space for the installation

---------------------------------------------------------------------------
* Useful Addresses

The first version of aSMV is available at

	http://www.cs.cmu.edu/~yuanlu/release.html

The most recent versions of NuSMV and CUDD modified package:

        http://afrodite.itc.it:1024/~nusmv/download.html

---------------------------------------------------------------------------

Currently, we test two architecture/operating system/compiler
combinations.

	* Intel PentiumPro 200	/ RedHat Linux 2.0.33		/ gcc
	* Intel PentiumPro 200 	/ RedHat Linux 2.0.36 		/ gcc

For other architectures, the Makefile has to be modified.

---------------------------------------------------------------------------
To build an aSMV executable for a single operating system:

1. Download the most recent version of aSMV (including CUDD package) 
   package from the address above into a convenient directory,
   (e.g., /tmp).

2. Move to where you would like to build aSMV and unpack the package:

	% cd /home/asmv					# for example
	% gunzip /tmp/aSMV-1.0.0.tar.gz | tar xf -

3. Move into the cudd direcory and run make, which will create the
   CUDD libraries.

	% cd cudd-2.2.0.1
	% make

   Note: To parallelize the installation procedure, you can begin steps 
   4 and 5 at this point, as long as step 3 completes before step 5
   (since aSMV must link against some library from the CUDD package).

4. Build the aSMV system by running GNU's make utility:

	% cd asmv-1.0.0
	% make

   This builds an executable "aSMV" in the current directory (here we
   are supposing that GNU make utility is available in your system with
   the command make, sometimes it is called gmake or gnumake, ask your
   system administrator to know what's the right name).

   WARNING: If you are not successful in building an aSMV executable, 
   double check that you are using Flex version 2.5 or greater (check 
   using "flex -V") and GNU Bison version 1.22 or greater (check with 
   "bison -V"), or that you are using the GNU make utility.
   Having out-of-date versions of these programs can lead to obscure
   compilation and linking errors.  You can download the new versions
   from the GNU FTP address above.

---------------------------------------------------------------------------
Files in the aSMV distribution:

README		This file

helpers/         Programs useful during configuration and building

  dependency.make A file loaded in by the makefile to make compilation
                  dependencies among source files. Useful only in the
                  development phase.

  install-sh      Shell scripts used by "gmake install."
  mkinstalldirs
  regression_test Shell script to perform regression test

share/help/	Original ASCII documentation for each NuSMV command, 
		accessible through the "help" command within NuSMV.
		Note that aSMV does not support interactive mode.

doc/*/*         Various original NuSMV manuals.

examples/*/     Various collected examples.

src/*/		Source code and headers for the NuSMV system.

obj/		Where .o files and generated .c files are placed during
		a build.

---------------------------------------------------------------------------
