quint

Qualitative Interaction Trees


License
GPL-2.0