diff --git a/descr b/descr
new file mode 100644
index 0000000..bcb2eb7
--- /dev/null
+++ b/descr
@@ -0,0 +1 @@
+Bindings for the minisat2 SAT solver
diff --git a/opam b/opam
new file mode 100644
index 0000000..ba15969
--- /dev/null
+++ b/opam
@@ -0,0 +1,18 @@
+opam-version: "1.2"
+name: "minisat2"
+version: "0.4"
+maintainer: "pietro abate <pietro.abate@inria.fr>"
+author: "Pietro Abate and Flavio Lerda"
+license: "GPL3 WITH linking exception"
+dev-repo: "https://github.com/abate/minisat-ocaml.git"
+homepage: "https://github.com/abate/minisat-ocaml"
+build: [
+  ["%{make}%"]
+  ["%{make}%" "opt"]
+]
+install: ["%{make}%" "install"]
+
+depexts: [
+  [["debian"] ["minisat"]]
+  [["ubuntu"] ["minisat"]]
+]