anchor.diff:      buildInputs = [ cmake zlib gmp jdk8 ];
   
       cmakeFlags = [ "-DJAVA=${boolToCmake includeJava}" "-DGPL=${boolToCmake includeGplCode}" ];
  -
  -    # Minor logic bug: https://github.com/sambayless/monosat/issues/11#issuecomment-403297720
  -    postPatch = ''
  -      substituteInPlace CMakeLists.txt \
  -        --replace '"&&" "true"' '"||" "true"'
  -    '';
   
       postInstall = optionalString includeJava ''
         mkdir -p $out/share/java
  
positive.code: let
    boolToCmake = x: if x then "ON" else "OFF";
  
    rev    = "cbaf79cfd01cba97b46cae5a9d7b832771ff442c";
    sha256 = "1nx3wh34y53lrwgh94cskdrdyrj26jn3py7z2cn4bvacz0wzhi6n";
  
    pname   = "monosat";
    version = substring 0 7 sha256;
  
negative.code:         --replace '../../../../libmonosat.dylib' '${core}/lib/libmonosat.dylib' \
          --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so' \
          --replace 'use_cython=False' 'use_cython=True'
      '';
    };
  in core