Home

Welcome to the SAT-bench wiki!

Nix overlay: sat-bench.nix

self: super:
let
  inherit (super.darwin.apple_sdk.frameworks) Security;
in
{
  sat-bench = super.rustPlatform.buildRustPackage rec {
    name = "sat-bench-${version}";
    version = "0.6.4";
    src = super.fetchFromGitHub {
      owner = "shnarazk";
      repo = "SAT-bench";
      rev = "0b230da4257601f3b13723e24c55e69791303808";
      sha256 = "08h4p66abxnzs0disaj12bi9a0kccjg1kijnd4k60bbfi4hdqrfk";
    };
    cargoSha256 = "sha256:06nvcj4v8nz0v6a1rwah29yx28k1x7z54snk7b69c0d09aq40jvh";
    buildInputs = super.rustc.buildInputs ++ [ super.openssl super.pkgconfig ];
    meta = with super.stdenv.lib; {
      descriptin = "An utility set for SAT benchmarking";
      homepage = "https://gitlab.com/shnarazk/SAT/SAT-bench";
    };
    patchPhase = ''
      sed -i "s|long = \"lib\", default_value = \"\"|long = \"lib\", default_value = \"$out/lib\"|" src/bin/sat-bench.rs
    '';
    postInstall = ''
      mkdir -p $out/lib
      cp -r 3-SAT SAT09 SR2015 $out/lib/
    '';
    SATBENCHLIB="$out/lib";
  };
}