GitHub repository: nens/threedi-modelchecker
Primary language: Python
Description: Tool to verify the correctness of a 3Di model