• Groups
• edu.psu.cse.siis
• coal
• 0.1.3

The COAL Solver

The COAL constant propagation solver for complex object types.

'edu.psu.cse.siis:coal:0.1.3'

<dependency>
	<groupId>edu.psu.cse.siis</groupId>
	<artifactId>coal</artifactId>
	<version>0.1.3</version>
</dependency>

<dependency org="edu.psu.cse.siis" name="coal" rev="0.1.3"/>

"edu.psu.cse.siis", "coal", "0.1.3"

Dependencies

Compile dependencies

• commons-cli » commons-cli » 1.2
• edu.psu.cse.siis » coal-strings » 0.1.1
• junit » junit » 4.11
• org.slf4j » slf4j-api » 1.7.7

Test dependencies

• org.slf4j » slf4j-simple » 1.7.7