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