I'm aware of both of these things. In either case the purpose and thus optimization of each kind of tool is fairly different, even if abstractly they're both "

I'm aware of both of these things. In either case the purpose and thus optimization of each kind of tool is fairly different, even if abstractly they're both "state space exploration", which made the comparison seem odd to me.