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 on CLLRS as well as computational tools and resources that will help you understand and work with LRS.