anchor.diff:      "-DASPCUD_CLASP_PATH=${clasp}/bin/clasp"
     ];
   
  +  doCheck = true;
  +
     meta = with lib; {
       description = "Solver for package problems in CUDF format using ASP";
       homepage = "https://potassco.org/aspcud/";
  
positive.code: , stdenv
  , fetchFromGitHub
  , boost
  , clasp
  , cmake
  , gringo
  
negative.code:     hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw=";
    };
  
    postPatch = ''
      cp ${catch2}/include/catch2/catch.hpp libcudf/tests/catch.hpp
    '';
  
    nativeBuildInputs = [ cmake ];
    buildInputs = [ boost clasp gringo re2c ];
  
  