diff --git a/src/main/scala/leon/Utils.scala b/library/Utils.scala
similarity index 100%
rename from src/main/scala/leon/Utils.scala
rename to library/Utils.scala
diff --git a/library/build.sbt b/library/build.sbt
new file mode 100644
index 0000000000000000000000000000000000000000..826382f07572d1df2768a63a76cdd46cde0fbf86
--- /dev/null
+++ b/library/build.sbt
@@ -0,0 +1,13 @@
+name := "Leon Library"
+
+version := "2.0"
+
+organization := "ch.epfl.lara"
+
+scalaVersion := "2.9.1-1"
+
+scalacOptions += "-deprecation"
+
+scalacOptions += "-unchecked"
+
+libraryDependencies += "org.scala-lang" % "scala-compiler" % "2.9.1-1"
diff --git a/project/Build.scala b/project/Build.scala
index c96f110f23c2f6b15eb47c8871d7552fb44ba705..9621bd41349c27ee8e3e64868f4f2da0a0107f29 100644
--- a/project/Build.scala
+++ b/project/Build.scala
@@ -53,5 +53,8 @@ object Leon extends Build {
     id = "leon",
     base = file("."),
     settings = Project.defaultSettings ++ LeonProject.settings
-  )
+  ) aggregate(leonLibrary) dependsOn(leonLibrary) 
+
+  lazy val leonLibrary = Project(id = "leon-library", base = file("./library"))
+
 }