Libz3 Java Linux » 4.11.2

Libz3 Java Linux

Tagsunix linux microsoft

Links

DateMar 15, 2023

Filespom (375 bytes)jar View All

RepositoriesItemis MPS

Ranking

#568428in MvnRepository

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

Include backlinks

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

Scope:

Format:

Include backlinks

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

Scope:

Include backlinks

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

Scope:

Include backlinks

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

Scope:

Include backlinks

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

Scope:

Include backlinks

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

Scope:

Include backlinks

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

Scope:

Include backlinks

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

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

Current Group

Categories (277)

Libz3 Java Linux » 4.11.2

Indexed Repositories (3155)

Popular Tags

About