Slimmer stands for Sophisticated logic implementations for modeling and mechanical reasoning.
The home page for Slimmer is here.