Merge pull request #173933 from siraben/zchaff-init

{ lib, stdenv, fetchurl }:

stdenv.mkDerivation rec {

  pname = "zchaff";

  version = "2004.5.13";

  src = fetchurl {

    url = "https://www.princeton.edu/~chaff/zchaff/zchaff.${version}.tar.gz";

    sha256 = "sha256-IgOdb2KsFbRV3gPvIPkHa71ixnYRxyx91vt7m0jzIAw=";

  };

  patches = [ ./sat_solver.patch ];

  makeFlags = [ "CC=${stdenv.cc.targetPrefix}c++" ];

  installPhase= ''

    runHook preInstall

    install -Dm755 -t $out/bin zchaff

    runHook postInstall

  '';

  meta = with lib; {

    homepage = "https://www.princeton.edu/~chaff/zchaf";

    description = "Accelerated SAT Solver from Princeton";

    license = licenses.mit;

    maintainers = with maintainers; [ siraben ];

    platforms = platforms.unix;

  };

}

diff --git a/sat_solver.cpp b/sat_solver.cpp

index e191881..07c0926 100644

--- a/sat_solver.cpp

+++ b/sat_solver2.cpp

@@ -43,6 +43,7 @@

 #include <vector>

 #include <dirent.h>

 #include "SAT.h"

+#include <cstring>

 using namespace std;

  };

  z3-tptp = callPackage ../applications/science/logic/z3/tptp.nix {};

  zchaff = callPackage ../applications/science/logic/zchaff { };

  tlaplus = callPackage ../applications/science/logic/tlaplus {

    jre = jre8; # TODO: remove override https://github.com/NixOS/nixpkgs/pull/89731

  };