Z3-Noodler: An Automata-based String Solver

Authors
Publication date
23 October 2023
Publisher
Zenodo
Doi

    Abstract

    <p>This is the artifact for the TACAS'24 submission "Z3-Noodler: An Automata-based String Solver".</p><p>For instructions, see attached README.txt file, or the same file at tacas24-artifact/README.txt.</p&gt

      Similar works

      Full text

      thumbnail-image

      Available Versions

      ZENODO

      redirect
      oaioai:zenodo.org:10035486
      Last time updated on 10/02/2024