There is a newer version of the record available.

Published June 24, 2019 | Version v1
Software Open

Artifact for "Chain Free String Constraints"

Creators

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

Description

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

Files

artifact.zip

Files (177.4 MB)

Name Size Download all
md5:2d885cace53cc124e3a8ef7a95c668c0
177.4 MB Preview Download