GitHub repository: ECDAR-AAU-SW-P5/Ecdar-API
Primary language: Rust
Created: 2023-10-12T06:45:03Z
Description: Project that defines the interface between a database and Reveaal