GitHub repository: 20001LastOrder/VIATRA-Generator
Primary language: Java
Description: An efficient graph solver for generating well-formed models