1 files changed, 29 insertions, 0 deletions
diff --git a/sol.opam b/sol.opam
new file mode 100644
index 0000000..c2bde77
--- /dev/null
+++ b/sol.opam
@@ -0,0 +1,29 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Sol: a total relational language"
+description:
+  "Sol is a total relational language where relations are the primary semantic objects, types are membership criteria, and execution is proof search, constraint propagation, and normalization."
+maintainer: ["Marcos Magueta <maguetamarcos@gmail.com>"]
+authors: ["Marcos Magueta"]
+license: "AGPL-3.0-only"
+depends: [
+  "dune" {>= "3.7"}
+  "ocaml" {>= "5.1"}
+  "zarith"
+  "alcotest" {with-test}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]