GitHub repository: KirpKK/trans
Primary language: Java
Description: Translates UML class diagram to ALCQI logic