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.