Tools
Jump to navigation
Jump to search
From the very start on the development of the LRS theory was accompanied by computational considerations. This led to an implementation of LRS, called CLLRS (Constraint Language on LRS).
On this site you will find pointers to publications