anchor.diff:  , stdenv
   , fetchFromGitHub
   , boost
  +, catch2
   , clasp
   , cmake
   , gringo
  
positive.code:     hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw=";
    };
  
    nativeBuildInputs = [ cmake ];
    buildInputs = [ boost clasp gringo re2c ];
  
  
negative.code:     "-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/";
  