Overview

DEPENDENCIES
============

	* python
	* boost 1.49
	* g++ 4.7 (for c++11 support)
	* buddy
	* google-test

BUILD
=====

Configure and compile

	./waf configure
	./waf

The compiler can be set using the CXX environment variable when configuring.
For instance:
	
	CXX=g++4.7 ./waf configure

Include search paths can be added while configuring using the -i or --include
option. For instance:

	./waf configure -i /usr/local/include

In the same way, static libraries search paths can be added using the -l or
--library option. For instance:

	./waf configure -l /usr/local/lib

TESTS
=====

To compile and run the unit tests, use the option --check when compiling:

	./waf --checkall

The test suite can also be runned manually for more details:

	./build/test

USAGE
=====

	./build/mc [KRIPKE FILE] [CTL FORMULA]

or read the CTL formulas from the standard input:

	./build/mc [KRIPKE FILE]


Supported CTL operations:
	* unary operators: not, ax, ex, af, ef ag, eg
	* binary operators: and, or, implies, au, eu

Note: the CTL parser is not case-sensitive (except for labels names) and
ignores spaces (except for labels names).

Examples:

	AX(a)
	eu(a, ax(and(a, b))

DOCUMENTATION
=============

To generate the documentation, use:
	
	doxygen doxyfile

The documentation will be generated in the doc/ directory.