nixpkgs/pkgs/development/ocaml-modules/ocaml-sat-solvers/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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 ];
  };
}