languagefun/kodkod

Kodkod relational model finder

This repository is not active