Adding the Herbie part of the OOPSLA '23 artifact. All files are under scripts/oopsla23/herbie so it should integrate nicely with the Szalinski artifact (#220). A README file has been included at the top of scripts/oopsla23/herbie with information on usage, both from a saved run under scripts/oopsla23/herbie/saved or from scratch (really not recommended unless on a seriously powerful machine).
Adding the Herbie part of the OOPSLA '23 artifact. All files are under
scripts/oopsla23/herbieso it should integrate nicely with the Szalinski artifact (#220). A README file has been included at the top ofscripts/oopsla23/herbiewith information on usage, both from a saved run underscripts/oopsla23/herbie/savedor from scratch (really not recommended unless on a seriously powerful machine).