nixpkgs/pkgs/applications/science/logic/msat/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{ lib, ocamlPackages }:

with ocamlPackages; buildDunePackage {
  pname = "msat-bin";

  inherit (msat) version src;

  buildInputs = [ camlzip containers msat ];

  meta = msat.meta // {
    description = "SAT solver binary based on the msat library";
    mainProgram = "msat";
  };
}