1 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix b/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix
new file mode 100644
index 00000000000..12f1440118a
--- /dev/null
+++ b/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix
@@ -0,0 +1,24 @@
+{ lib, fetchFromGitHub, buildOasisPackage, minisat }:
+
+buildOasisPackage rec {
+  pname = "ocaml-sat-solvers";
+  version = "0.4";
+
+  minimumOCamlVersion = "4.03.0";
+
+  src = fetchFromGitHub {
+    owner  = "tcsprojects";
+    repo   = "ocaml-sat-solvers";
+    rev    = "v${version}";
+    sha256 = "1hxr16cyl1p1k1cik848mqrysq95wxmlykpm93a99pn55mp28938";
+  };
+
+  propagatedBuildInputs = [ minisat ];
+
+  meta = {
+    homepage = https://github.com/tcsprojects/ocaml-sat-solvers;
+    description = "SAT Solvers For OCaml";
+    license = lib.licenses.bsd3;
+    maintainers = with lib.maintainers; [ mgttlinger ];
+  };
+}