String Analysis for the COAL Solver.
'edu.psu.cse.siis:coal-strings:0.1.2'
<dependency>
<groupId>edu.psu.cse.siis</groupId>
<artifactId>coal-strings</artifactId>
<version>0.1.2</version>
</dependency>
<dependency org="edu.psu.cse.siis" name="coal-strings" rev="0.1.2"/>
"edu.psu.cse.siis", "coal-strings", "0.1.2"