Version 1.0 (July 2007) of SLS is available!

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:

• Problem
  • Solve the current
  • Add an lexpr to the current problem
• Swords
  • Size of current Sword
  • random sword
  • random joinable Swords
  • Join current sword with current lexpression
  • membership of current sword to current language
• Slanguages
  • Cardinal of current language
• Lexpressions
  • Compute the language of current lexpression
  • Check whether the current lexpression is elementary

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.

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