ISM Suite
ISM Suite is a tool that supports the modeling and simulation of Information System Models.
It’s a True World
It’s a True World is a tool that supports the modeling of first order logic expressions on finite sets. It can be downloaded from Github.