Reusing a simulation or parts of a simulation is difficult as simulations are tightly coupled to a specific domain or even to the system analysed by the simulation. In this tool paper, we introduce our toolchain that allows simulation developers to model the structure and behaviour of a simulation with a domain-specific modelling language. We utilise a state-of-the-art graph database and an SMT theorem prover to compare a simulation or parts of a simulation. This allows simulation developers to identify simulation components that can be reused instead of redeveloping these simulation components.