1. Overview
2. Description and examples
3. Download and installation
4. Developer Links
5. License

SARL is a library for creating, manipulating, and reasoning about symbolic expressions. See a more detailed description and examples of what SARL does.

SARL is developed by the Verified Software Laboratory, under the direction of Stephen Siegel. Its development is supported by the U.S. National Science Foundation grant CCF-0733035.

SARL is open source software distributed under the GNU Lesser General Public License.

The current version of SARL is 0.1. Installation instructions can be found in the README file included in the distribution. The binary distributions include the required libraries.

Current build

The current builds have a file called VERSION containing the build number.

• SARL.tgz: complete distribution, including source code, jar file, documentation

1. SARL Javadoc API
2. VSL Developer page
3. JUnit Test Results (run after each commit)
4. Jacoco Coverage Report

SARL is copyright 2013, 2014, 2015, Verified Software Laboratory, University of Delaware. It is distributed under the terms of the GNU Lesser General Public License.