add missing minimalBuildSBT.txt

Author: kevin-delmas

minimalBuildSBT.txt

@@ -0,0 +1,22 @@
+val scalatest = "org.scalatest" %% "scalatest" % "3.2.15" % "test"
+val scalaplus = "org.scalatestplus" %% "scalacheck-1-15" % "3.2.11.0" % "test"
+
+lazy val root = (project in file("."))
+  .settings(
+    name := "myProject",
+    version := "1.0.0",
+    scalaVersion := "3.3.5",
+    sbtVersion := "1.11.2",
+    scalacOptions := Seq("-unchecked", "-deprecation", "-feature"),
+    resolvers += Resolver.sonatypeCentralSnapshots,
+    libraryDependencies ++= Seq(
+        scalatest,
+        scalaplus
+      )
+  )
+
+// Fork a new JVM on every sbt run task
+// Fixes an issue with the classloader complaining that the Monosat library is
+// "already loaded in another classloader" on successive runs of the analysis
+// in the same sbt instance.
+fork := true