SQL2MSFOL » 1.0.0

SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).

LicenseApache 2.0

Tagsgithub sql

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

Links

DateJul 13, 2023

Filespom (4 KB) jar (47 KB)View All

RepositoriesCentral

Ranking

#561204in MvnRepository

Maven
Gradle
SBT
Mill
Ivy
Grape
Leiningen
Buildr

Scope:

Include backlinks

<dependency>
    <groupId>io.github.modelsvgu</groupId>
    <artifactId>SQL2MSFOL</artifactId>
    <version>1.0.0</version>
    <scope>compile</scope>
</dependency>

Scope:

Format:

Include backlinks

implementation("io.github.modelsvgu:SQL2MSFOL:1.0.0")

Scope:

Include backlinks

libraryDependencies += "io.github.modelsvgu" % "SQL2MSFOL" % "1.0.0"

Scope:

Include backlinks

ivy"io.github.modelsvgu:SQL2MSFOL:1.0.0"

Scope:

Include backlinks

<dependency org="io.github.modelsvgu" name="SQL2MSFOL" rev="1.0.0"/>

Scope:

Include backlinks

@Grapes(
    @Grab(group='io.github.modelsvgu', module='SQL2MSFOL', version='1.0.0')
)

Scope:

Include backlinks

[io.github.modelsvgu/SQL2MSFOL "1.0.0"]

Scope:

Include backlinks

'io.github.modelsvgu:SQL2MSFOL:jar:1.0.0'

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)

SQL2MSFOL » 1.0.0

Licenses

Developers

Indexed Repositories (3762)

Popular Tags

About