diff --git a/opam b/opam
new file mode 100644
index 00000000..7b7350b1
--- /dev/null
+++ b/opam
@@ -0,0 +1,16 @@
+opam-version: "1.1"
+license: "Apache"
+version: "dev"
+author: ["Sylvain Conchon" "Alain Mebsout" "Stephane Lecuyer"]
+maintainer: ["guillaume.bury@gmail.com" "simon.cruanes@inria.fr"]
+install: [
+    [make "install"]
+]
+remove: [
+    ["ocamlfind" "remove" "msat"]
+]
+depends: ["ocamlfind" "num" "unix"]
+tags: [ "sat" "smt" ]
+homepage: "https://github.com/Gbury/mSAT"
+dev-repo: "https://github.com/Gbury/mSAT.git"
+bug-reports: "https://github.com/Gbury/mSAT/issues/"