matemonkey4j

A implementation to easily call the matemonkey api and find the Mate of your choice

License	BSD 3-clause license
Categories	KeY Data Data Formats Formal Verification
GroupId	me.sniggle
ArtifactId	matemonkey4j
Last Version	0.0.1
Release Date	Nov 1, 2015
Type	pom
Description	matemonkey4j A implementation to easily call the matemonkey api and find the Mate of your choice
Project URL	https://github.com/MateMonkey/matemonkey4j

Download matemonkey4j

Filename	Size
matemonkey4j-0.0.1.pom	5 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/me.sniggle/matemonkey4j/ -->
<dependency>
    <groupId>me.sniggle</groupId>
    <artifactId>matemonkey4j</artifactId>
    <version>0.0.1</version>
    <type>pom</type>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/me.sniggle/matemonkey4j/
implementation 'me.sniggle:matemonkey4j:0.0.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/me.sniggle/matemonkey4j/
implementation ("me.sniggle:matemonkey4j:0.0.1")

Apache Buildr

'me.sniggle:matemonkey4j:pom:0.0.1'

Apache Ivy

<dependency org="me.sniggle" name="matemonkey4j" rev="0.0.1">
  <artifact name="matemonkey4j" type="pom" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='me.sniggle', module='matemonkey4j', version='0.0.1')
)

Scala SBT

libraryDependencies += "me.sniggle" % "matemonkey4j" % "0.0.1"

Leiningen

[me.sniggle/matemonkey4j "0.0.1"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

• matemonkey4j-api
• matemonkey4j-async
• matemonkey4j-robospice

Versions

Version
0.0.1 Nov 1, 2015