SRI International's AIC Symbolic Manipulation and Evaluation Library (for Java 1.6+)
'com.googlecode.aic-expresso:aic-expresso:1.0.1'
<dependency>
<groupId>com.googlecode.aic-expresso</groupId>
<artifactId>aic-expresso</artifactId>
<version>1.0.1</version>
</dependency>
<dependency org="com.googlecode.aic-expresso" name="aic-expresso" rev="1.0.1"/>
"com.googlecode.aic-expresso", "aic-expresso", "1.0.1"