Title: readme 

SCOTS is a C++ tool (with a small Matlab interface) to synthesize controller for
possibly perturbed nonlinear control systems with respect to safety and reachability specifications. 

Please read the manual in the manual directory ./manual/manual.pdf

Requirements
============

- A C++ development environment where you can compile C++ source code.

- Optional: If you want to use the code using the Binary Decision Diagrams then you need
  the CUDD library by Fabio Somenzi, which can be downloaded at
  'http://vlsi.colorado.edu/~fabio/'. 
  SCOTS uses the dddmp and C++ wraper of the CUDD library.

  In the example computations we used cudd-3.0.0 which we configured with 

  $./configure --enable-shared --enable-obj --enable-dddmp --prefix=/opt/local/

SCOTS is a header only library. You only need to add SCOTS source directory to
the include directory in the compiler command. 

Further details are found in the readme files in example directories and in the manual.
For installing and running SCOTS on Windows, please refer to the readme-win.txt file.

Directory structure
============

- ./bdd/
  Contains the source C++ source code for the SCOTS classes 
  which use Binary Decision Diagrams as underlying data structure

- ./doc/
  C++ Class documentation directory

- ./examples/
  Some C++/Maltab programs demonstrating the usage of SCOTS

- ./manual
  Contains a the manuel with its tex source

- ./mfiles
  Contains an mfile as a wrapper to the mex-file functions

- ./mfiles/mexfiles/
  mex-file to read the C++ output from file 

- ./sparse 
  Contains the source C++ source code for the SCOTS classes 
  which use sparse matrices as underlying data structure