AIC-Expresso

SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.8+)

Getting Started

• Overview and Demo

• Latest Maven Information (for integration as a third party library)

    <dependency>
        <groupId>com.googlecode.aic-expresso</groupId>
        <artifactId>aic-expresso</artifactId>
        <version>1.3.3</version>
    </dependency>

• Latest Release
• 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.