GitHub repository: tnelson/Pardinus
Primary language: Java
Description: An extension of the Kodkod relational model finder