Version 1.0 (July 2007) of SLS is available!

Made with Lisp

SLS is a joint project between the LaBRI (Laboratoire Bordelais de Recherche en Informatique) of the Université Bordeaux 1 and the LIPN (Laboratoire d'Informatique de l'Université Paris-Nord) of the Université Paris 13 .

SLS is an experimental tool written in Common Lisp for manipulating Slanguages and Lexpressions (expressions over Slanguages). It runs on Linux with Steele Bank Common Lisp (SBCL) and on MacOSX with OpenMCL . The graphical interface (always under construction) running under X11 is written using FreeCLIM , the free implementation of the CLIM specification .

Main features of SLS

The principal features of SLS are:

Obtaining SLS

The SLS distribution is publically available for research purposes.
The SLS source distribution can be downloaded
here file.
For an executable, the currently supported machines and operating systems are listed below.

  • PC x86 under Linux SLS.tgz
  • PowerPC with MacOSX and X11 SLS.tgz
  • InterCore2Duo with MacOSX and X11 SLS.tgz
  • Other architectures can be made available upon request.

    A collection of examples of problems to use with SLS is included in the Data directory of the distribution.

    Installing SLS

    Download the relevant SLS.tgz tar file. If your system does not uncompress automatically the tar file, do it manually:
    $ tar xzvf SLS.tgz
    $ cd SLS
    $ ./INSTALL

    Running SLS

    $ ./sls

    At any time from the command line, the user may get help about the current possibilities by clicking on the right-button. Commands are accessible either thru the command line (using completion) or from the menus items. For instance, instead of hitting the Quit button you may type Q ; instead of selecting the Load spec of the File menu, you may type 'Lo Sp '...
    Note that some examples may run for a very long time as the join operation may lead to an exponential blow-up.
    Add your own specifications in the Data directory

    Please refer to the SLS user's guide to see how to use SLS. Also available in Postscript or PDF

    Contact information

    Should you have any comments or suggestions regarding SLS, or ideas on new functionalities that you would like to see in future releases of SLS, please send them to

    Other Releases


    Irène Durand and Sylviane Schwer. Reasoning about qualitative temporal information with S-words and S-languages.
    Proceedings of the 1st European Lisp Symposium, Bordeaux, France (2008).

    Irène Durand and Sylviane Schwer. A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation.
    Journal of Universal Computer Science, pages 14(20) 3282-3306 (2008).


    Irène Durand
    Sylviane Schwer