Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries

stypes 1.1.0


Group ID:
com.github.srapisarda
Artifact ID:
stypes_2.12
Version:
1.1.0
Release Date:
Oct 29, 2018
Licenses:
Files:

libraryDependencies += "com.github.srapisarda" %% "stypes" % "1.1.0"

Mill build tool

ivy"com.github.srapisarda::stypes:1.1.0"

Scala CLI

//> using lib "com.github.srapisarda::stypes:1.1.0"

Ammonite REPL

import $ivy.`com.github.srapisarda::stypes:1.1.0`

<dependency>
  <groupId>com.github.srapisarda</groupId>
  <artifactId>stypes_2.12</artifactId>
  <version>1.1.0</version>
</dependency>

compile group: 'com.github.srapisarda', name: 'stypes_2.12', version: '1.1.0'