pkgs/by-name/ap/approxmc/package.nix

   1 {
   2   stdenv,
   3   fetchFromGitHub,
   4   cmake,
   5   zlib,
   6   gmp,
   7   cryptominisat,
   8   boost,
   9   arjun-cnf,
  10   louvain-community,
  11   lib,
  12 }:
  13
  14 stdenv.mkDerivation (finalAttrs: {
  15   pname = "approxmc";
  16   version = "4.1.24";
  17
  18   src = fetchFromGitHub {
  19     owner = "meelgroup";
  20     repo = "approxmc";
  21     rev = finalAttrs.version;
  22     hash = "sha256-rADPC7SVwzjUN5jb7Wt341oGfr6+LszIaBUe8QgmpRU=";
  23   };
  24
  25   nativeBuildInputs = [ cmake ];
  26
  27   buildInputs = [
  28     zlib
  29     gmp
  30     cryptominisat
  31     boost
  32     arjun-cnf
  33     louvain-community
  34   ];
  35
  36   meta = with lib; {
  37     description = "Approximate Model Counter";
  38     homepage = "https://github.com/meelgroup/approxmc";
  39     license = licenses.mit;
  40     maintainers = with maintainers; [ t4ccer ];
  41     platforms = platforms.linux;
  42     mainProgram = "approxmc";
  43   };
  44 })