OVERVIEW

  Taskadd is a scheduler of real-time tasks using Patrick Meumeu's
  algebra.

  This is version 1.3.

INSTALL

  You need OCaml and Camlp5 to compile, freely distributed in the Web.
  Just do:
      make
  This creates an executable file named 'taskadd'. Type
      ./taskadd -help
  for usage.

DOCUMENTATION

  The directory doc/html contains the full documentation. To build it,
  go to the directory doc/htmlp and type 'make'.

AUTHOR

  Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>