diff options
author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-19 14:21:25 +0100 |
---|---|---|
committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-08-19 14:21:25 +0100 |
commit | fce66bdc060fe3ec6bd07fd17eca68ea45f119fa (patch) | |
tree | 2645225f369e90bc1059d85b3b8a955ed9c39f5a /build.sbt | |
parent | 50f5cd42f73b655d7d349eef70e5c269826429f9 (diff) | |
download | RSAComb-fce66bdc060fe3ec6bd07fd17eca68ea45f119fa.tar.gz RSAComb-fce66bdc060fe3ec6bd07fd17eca68ea45f119fa.zip |
Add check for RSA graph acyclicity
Diffstat (limited to 'build.sbt')
-rw-r--r-- | build.sbt | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -1,7 +1,7 @@ | |||
1 | //import Dependencies._ | 1 | //import Dependencies._ |
2 | 2 | ||
3 | ThisBuild / scalaVersion := "2.13.1" | 3 | ThisBuild / scalaVersion := "2.13.1" |
4 | ThisBuild / version := "0.1.0" | 4 | ThisBuild / version := "0.1.0" |
5 | //ThisBuild / organization := "com.example" | 5 | //ThisBuild / organization := "com.example" |
6 | //ThisBuild / organizationName := "example" | 6 | //ThisBuild / organizationName := "example" |
7 | 7 | ||
@@ -9,7 +9,8 @@ lazy val root = (project in file(".")) | |||
9 | .settings( | 9 | .settings( |
10 | name := "RSAComb", | 10 | name := "RSAComb", |
11 | libraryDependencies ++= Seq( | 11 | libraryDependencies ++= Seq( |
12 | "org.scalatest" %% "scalatest" % "3.1.0" % "test", | 12 | "org.scalatest" %% "scalatest" % "3.1.0" % "test", |
13 | "net.sourceforge.owlapi" % "owlapi-apibinding" % "5.1.13" | 13 | "net.sourceforge.owlapi" % "owlapi-apibinding" % "5.1.13", |
14 | "org.scala-graph" %% "graph-core" % "1.13.2" | ||
14 | ) | 15 | ) |
15 | ) | 16 | ) |