···

       
1
       
1
       
 
       
{ lib, stdenv, callPackage, fetchFromGitHub, runCommandLocal, makeWrapper, substituteAll

     

       
2
       
2
       
 
       
, sbcl, bash, which, perl, hostname

     

       
3
       
3
       
-
       
, openssl, glucose, minisat, abc-verifier, z3, python2

     

       
3
       
3
       
+
       
, openssl, glucose, minisat, abc-verifier, z3, python3

     

       
4
       
4
       
 
       
, certifyBooks ? true

     

       
5
       
5
       
 
       
} @ args:

     

       
6
       
6
       
 
       


     
···

       
50
       
50
       
 
       
    which perl hostname

     

       
51
       
51
       
 
       
    # Some of the books require one or more of these external tools:

     

       
52
       
52
       
 
       
    glucose minisat abc-verifier libipasir

     

       
53
       
53
       
-
       
    z3 (python2.withPackages (ps: [ ps.z3 ]))

     

       
53
       
53
       
+
       
    z3 (python3.withPackages (ps: [ ps.z3 ]))

     

       
54
       
54
       
 
       
  ];

     

       
55
       
55
       
 
       


     

       
56
       
56
       
 
       
  # NOTE: Parallel building can be memory-intensive depending on the number of

     

···

       
36036
       
36036
       
 
       
  };

     

       
36037
       
36037
       
 
       


     

       
36038
       
36038
       
 
       


     

       
36039
       
36039
       
-
       
  inherit (callPackages ../applications/science/logic/z3 { python = python2; })

     

       
36039
       
36039
       
+
       
  inherit (callPackages ../applications/science/logic/z3 { python = python3; })

     

       
36040
       
36040
       
 
       
    z3_4_11

     

       
36041
       
36041
       
 
       
    z3_4_8

     

       
36042
       
36042
       
 
       
    z3_4_7;