String Analysis for COAL

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"

Dependencies