Published June 24, 2019 | Version v3
Software Open

Artifact for "Chain Free String Constraints"

Authors/Creators

  • 1. Uppsala University
  • 2. Brno University of Technology

Description

A zip file containing the artifact, benchmark suites, and script for installing and reproducing results of the paper "Chain Free String Constraints" accepted at ATVA'19.

Files

artifact.zip

Files (177.4 MB)

Name Size Download all
md5:a737ebdae46593f1a88dd34958f2eafe
177.4 MB Preview Download