GitHub repository: marcelolynch/relif
Primary language: Java
Description: Relation algebra model finder