OCL2MSFOL » 1.0.1

An implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).

LicenseApache 2.0

Tagsgithub

HomePage https://github.com/MoDELSVGU/OCL2MSFOL 🔍 Inspect URL

Links

DateJul 13, 2023

Filespom (3 KB) jar (57 KB)View All

RepositoriesCentral

Ranking

#561203in MvnRepository

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

Include backlinks

<dependency>
    <groupId>io.github.modelsvgu</groupId>
    <artifactId>OCL2MSFOL</artifactId>
    <version>1.0.1</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("io.github.modelsvgu:OCL2MSFOL:1.0.1")

Scope:

Include backlinks

libraryDependencies += "io.github.modelsvgu" % "OCL2MSFOL" % "1.0.1"

Scope:

Include backlinks

ivy"io.github.modelsvgu:OCL2MSFOL:1.0.1"

Scope:

Include backlinks

<dependency org="io.github.modelsvgu" name="OCL2MSFOL" rev="1.0.1"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='io.github.modelsvgu', module='OCL2MSFOL', version='1.0.1')
)

Scope:

Include backlinks

[io.github.modelsvgu/OCL2MSFOL "1.0.1"]

Scope:

Include backlinks

'io.github.modelsvgu:OCL2MSFOL:jar:1.0.1'

Licenses

License

URL

The Apache License, Version 2.0

http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

Name Email Dev Id Roles Organization

Hoang Nguyen ngpbhoang1406<at>gmail.com ETH Zurich

Current Group

Categories (287)

OCL2MSFOL » 1.0.1

Licenses

Developers

Indexed Repositories (3762)

Popular Tags

About