PROJECT HAS MOVED

This project has moved to GitHub: https://github.com/aic-sri-international/aic-expresso

Overview

A general purpose symbolic manipulation and evaluation library, developed at SRI International's Artificial Intelligence Center, which provides capabilities in the following areas: * Representation of Expressions and Syntax Trees. * Parsing human readable strings into Expressions and back again. * A general purpose Rewriting System for Expressions (including arithmetic, set, logic, and model counting support).

Getting Started

• User Guide
• Grinder Rewriting System Demo
• Latest Maven Information (for integration as a third party library) <dependency> <groupId>com.googlecode.aic-expresso</groupId> <artifactId>aic-expresso</artifactId> <version>1.0.1</version> </dependency>
• Download classes, source, and java docs from Maven Central Repository
• Instructions on how to set up your workspace (for aic-expresso developers).

Acknowledgements

SRI International gratefully acknowledges the support of the Defense Advanced Research Projects Agency (DARPA) Machine Reading Program, and Probabilistic Programming for Advanced Machine Learning Program, under Air Force Research Laboratory (AFRL) prime Contract Nos. FA8750-09-C-0181 and FA8750-14-C-0005, respectively. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the view of DARPA, AFRL, or the US government.