Libz3 Java Linux » 4.8.8

Libz3 Java Linux

Tagsunix linux microsoft

Links

DateAug 30, 2022

Filespom (435 bytes)zip (62 KB)View All

RepositoriesItemis MPS Itemis Mbeddr

Ranking

#568780in MvnRepository

💡

Newer Version Available

4.8.8→4.11.2

(0 changes)

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

Include backlinks

<dependency>
    <groupId>com.microsoft.z3</groupId>
    <artifactId>libz3.java.linux</artifactId>
    <version>4.8.8</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("com.microsoft.z3:libz3.java.linux:4.8.8")

Scope:

Include backlinks

libraryDependencies += "com.microsoft.z3" % "libz3.java.linux" % "4.8.8"

Scope:

Include backlinks

ivy"com.microsoft.z3:libz3.java.linux:4.8.8"

Scope:

Include backlinks

<dependency org="com.microsoft.z3" name="libz3.java.linux" rev="4.8.8"/>

Scope:

Include backlinks

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

Scope:

Include backlinks

[com.microsoft.z3/libz3.java.linux "4.8.8"]

Scope:

Include backlinks

'com.microsoft.z3:libz3.java.linux:jar:4.8.8'

Note: this artifact is located at Itemis MPS repository (https://artifacts.itemis.cloud/repository/maven-mps/)

Current Group

Categories (277)

Libz3 Java Linux » 4.8.8

Indexed Repositories (3155)

Popular Tags

About