RAG4C Evaluation Datasets, prompts, scripts, solver encoding, results

RAG4C: Observable-Centric Consistency Checking of Requirements and Models — Research ArtifactsThis archive contains: Datasets used in our experiments Prompts for observable extraction, synonym construction, and constraints formalisation Results (intermediate and final metrics)Scripts to reproduce tables and figures Implementation The RAG4C implementation is available upon request. These materials support reproducibility and enable further comparison and extension of observable-centric consistency checking approaches.