Le logiciel
SLS
écrit en Common Lisp manipule des S-langages qui permettent d'exprimer des contraintes
temporelles sur des événements.
Il possède une interface graphique mais pas de moyen simple
d'acquérir les données et de visualiser les résultats.
On souhaite améliorer l'ergonomie du logiciel; en particulier on
souhaite rajouter des modules d'acquisition de contraintes.
Voir sur la page de SLS