One way to highlight what a solver is in a way which is practical and intuitive is to call the solver a "smart search engine". The purpose of this post is mainly to highlight that we can choose to use the phrase smart search engine rather than something like finite domain constraint solver.
To increase the explainability I would recommend pairing "smart search engine" with finite domain constraint solver or satisfiability solver when discussing the feature set of TML. Decentralized smart search engine may also be applicable at some point as well or peer to peer smart search engine. Smart in this context would be more accurate than in for example "smart contract" which is actually just a script.
