Published May 1, 2025 | Version fscd2025
Software Open

hezzel/cora: FSCD 2025

Creators

  • 1. Radboud University Nijmegen
  • 2. Radboud University

Description

COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints

Files

hezzel/cora-fscd2025.zip

Files (948.0 kB)

Name Size Download all
md5:9dbd5709bd4b86dd24575e752be9c02d
948.0 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/hezzel/cora/tree/fscd2025 (URL)

Software

Repository URL
https://github.com/hezzel/cora