Published March 8, 2024 | Version v1
Software Open

Reproduction Package for `A Constraint Solving Approach to Parikh Images of Regular Languages'

Authors/Creators

  • 1. ROR icon Uppsala University
  • 2. ROR icon University of Regensburg

Description

This is a reproduction and software package for A Constraint Solving Approach to Parikh Images of Regular Languages,
published in OOPSLA 2024. For more information, see Artifact Overview.md.

It contains all software developed for the paper, as well as Jupyter notebooks for analysing experiments and relevant scripts for building them.

Files

catra-0.1.5.zip

Files (3.1 GB)

Name Size
md5:3ae1142327c16635d423dad5c5fbe0d3
12.6 MB Preview Download
md5:49ac95c0c633515fc0aac711dc691d47
3.1 GB Preview Download

Additional details

Related works

Documents
Conference paper: 10.1145/3649855 (DOI)

Software

Repository URL
https://github.com/amandasystems/catra/
Programming language
Scala
Development Status
Active