GitHub repository: AimeeBorda/ACSP-Compiler
Primary language: Java
Description: A compiler from A-CSP to CSP integrated with the FDR API.