Jar examples for a:alchemist-approximatemodelchecking
Tools for running approximate model checking using Alchemist as simulator
You can download jar file alchemist-approximatemodelchecking 0.0.0 in this page.
GPL linking exception
You can use the following script to add alchemist-approximatemodelchecking-0.0.0.jar to your project.
<dependency> <groupId>it.unibo.alchemist</groupId> <artifactId>alchemist-approximatemodelchecking</artifactId> <version>0.0.0</version> </dependency>
compile group: 'it.unibo.alchemist', name: 'alchemist-approximatemodelchecking', version: '0.0.0'
libraryDependencies += "it.unibo.alchemist" % "alchemist-approximatemodelchecking" % "0.0.0"
<dependency org="it.unibo.alchemist" name="alchemist-approximatemodelchecking" rev="0.0.0"/>
@Grapes(@Grab(group='it.unibo.alchemist', module='alchemist-approximatemodelchecking', version='0.0.0'))
'it.unibo.alchemist:alchemist-approximatemodelchecking:jar:0.0.0'
Click the following link to download the jar file.
alchemist-approximatemodelchecking-0.0.0-javadoc.jar