GitHub repository: williamwoldum/Ecdar-API
Description: Project that defines the interface between a database and Reveaal