JavaAPI » 4.8.8

JavaAPI

Tagsmicrosoft

Links

DateJun 15, 2020

Filespom (396 bytes)jar (169 KB)View All

RepositoriesItemis OS

Ranking

#984151in MvnRepository

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

Include backlinks

<dependency>
    <groupId>com.microsoft.z3</groupId>
    <artifactId>javaAPI</artifactId>
    <version>4.8.8</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("com.microsoft.z3:javaAPI:4.8.8")

Scope:

Include backlinks

libraryDependencies += "com.microsoft.z3" % "javaAPI" % "4.8.8"

Scope:

Include backlinks

ivy"com.microsoft.z3:javaAPI:4.8.8"

Scope:

Include backlinks

<dependency org="com.microsoft.z3" name="javaAPI" rev="4.8.8"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='com.microsoft.z3', module='javaAPI', version='4.8.8')
)

Scope:

Include backlinks

[com.microsoft.z3/javaAPI "4.8.8"]

Scope:

Include backlinks

'com.microsoft.z3:javaAPI:jar:4.8.8'

Note: this artifact is located at Itemis OS repository (https://projects.itemis.de/nexus/content/repositories/OS/)

Current Group

Categories (277)

JavaAPI » 4.8.8

Indexed Repositories (3155)

Popular Tags

About