Jar examples for c:coal-strings
String Analysis for the COAL Solver.
You can download jar file coal-strings 0.1.1 in this page.
Apache 2.0
You can use the following script to add coal-strings-0.1.1.jar to your project.
<dependency> <groupId>edu.psu.cse.siis</groupId> <artifactId>coal-strings</artifactId> <version>0.1.1</version> </dependency>
compile group: 'edu.psu.cse.siis', name: 'coal-strings', version: '0.1.1'
libraryDependencies += "edu.psu.cse.siis" % "coal-strings" % "0.1.1"
<dependency org="edu.psu.cse.siis" name="coal-strings" rev="0.1.1"/>
@Grapes(@Grab(group='edu.psu.cse.siis', module='coal-strings', version='0.1.1'))
'edu.psu.cse.siis:coal-strings:jar:0.1.1'
Click the following link to download the jar file.
coal-strings-0.1.1-javadoc.jar