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

   1 { ocamlPackages }:
   2
   3 with ocamlPackages; buildDunePackage {
   4   pname = "msat-bin";
   5
   6   inherit (msat) version src;
   7
   8   buildInputs = [ camlzip containers msat ];
   9
  10   meta = msat.meta // {
  11     description = "SAT solver binary based on the msat library";
  12     mainProgram = "msat";
  13   };
  14 }