= SARL: The Symbolic Algebra and Reasoning Library =

This is the SARL developer Wiki.

Contents
* [wiki:References]