anchor.diff:  
       propagatedBuildInputs = [ core cython ];
   
  -    # This tells setup.py to use cython
  +    # This tells setup.py to use cython, which should produce faster bindings
       MONOSAT_CYTHON = true;
   
       # The relative paths here don't make sense for our Nix build
  -    # Also, let's use cython since it should produce faster bindings
       # TODO: do we want to just reference the core monosat library rather than copying the
       # shared lib? The current setup.py copies the .dylib/.so...
       postPatch = ''
  -
         substituteInPlace setup.py \
  -        --replace '../../../../libmonosat.dylib' '${core}/lib/libmonosat.dylib' \
  -        --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so'
  +        --replace 'library_dir = "../../../../"' 'library_dir = "${core}/lib/"'
       '';
     };
   in core
  
positive.code:     inherit src;
      buildInputs = [ cmake zlib gmp jdk8 ];
  
      cmakeFlags = [ "-DJAVA=${boolToCmake includeJava}" "-DGPL=${boolToCmake includeGplCode}" ];
  
      postInstall = optionalString includeJava ''
        mkdir -p $out/share/java
  
negative.code: let
    boolToCmake = x: if x then "ON" else "OFF";
  
    rev    = "1.8.0";
    sha256 = "0q3a8x3iih25xkp2bm842sm2hxlb8hxlls4qmvj7vzwrh4lvsl7b";
  
    pname   = "monosat";
    version = rev;
  
    src = fetchFromGitHub {
      owner = "sambayless";
  