Bootstrap Scala project with LISA dependency as a git submodule

FlorianCassayre · Feb 21, 2022 · fa63a0c · fa63a0c
1 parent 8859b72
commit fa63a0c
Show file tree

Hide file tree

Showing 5 changed files with 25 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lisa"]
+	path = lisa
+	url = [email protected]:epfl-lara/lisa.git
diff --git a/build.sbt b/build.sbt
@@ -0,0 +1,8 @@
+name := "master-project"
+
+version := "0.1"
+
+scalaVersion := "2.13.8"
+
+lazy val lisa = RootProject(file("lisa"))
+lazy val root = (project in file(".")).dependsOn(lisa)
diff --git a/lisa b/lisa
diff --git a/project/build.properties b/project/build.properties
@@ -0,0 +1 @@
+sbt.version = 1.6.2
diff --git a/src/main/scala/Main.scala b/src/main/scala/Main.scala
@@ -0,0 +1,12 @@
+import lisa.kernel.Printer
+import lisa.kernel.fol.FOL._
+import lisa.KernelHelpers._
+
+object Main extends App {
+
+  val (la, lb) = (ConstantPredicateLabel("a", 0), ConstantPredicateLabel("b", 0))
+  val (a, b) = (PredicateFormula(la, Seq.empty), PredicateFormula(lb, Seq.empty))
+
+  println(Printer.prettyFormula((a \/ b) /\ a))
+
+}