pmodelchecker - P systems Model Checker
copyright 2008, 2009 Francisco J. Romero Campero, fxc AT cs.nott.ac.uk
released under GNU GPL version 3

************
dependencies
************

pmodelchecker depends on the following libraries:

	libecsb - http://www.infobiotic.org/
	PRISM - http://www.prismmodelchecker.org/
	MC2 - http://www.brc.dcs.gla.ac.uk/software/mc2/

Please make sure you install the above library and programs before continuing.

****************************
compilation and installation
****************************

Unpack the source tarball and change to the top-level directory of the source tree. For example, if you downloaded pmodelchecker-0.0.3.tar.gz:

$ tar -xzvf pmodelchecker-0.0.11.tar.gz
$ cd pmodelchecker-0.0.11

Then, to configure and build pmodelchecker:

$ ./configure
$ make

To install pmodelchecker (you will need to be root):

# make install

By default, this will install the library and header files to /usr/local/lib and /usr/local/include/pmodelchecker respectively. The pmodelchecker executable will be installed to /usr/local/bin.

If you downloaded pmodelchecker from the SVN repository, then before configuring and building pmodelchecker you should run autogen.sh in the top-level directory of the source tree:

$ ./autogen.sh

Please see the INSTALL file for details on how to customise the installation.

See the documentation in the doc/ directory and the examples in the examples/ directory for more information on how to use pmodelchecker.
