GitHub repository: radnotizsuzsanna/refinery
Primary language: Java
Description: Refinery: an efficient graph solver for generating well-formed models