tjh.dev
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
14stdenv.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})