> If your tool offers a high level interface, one may be inclined to just call it an SMT solver. I too despite being interested in SAT, basically reach for an SMT solver even if my problem is pure boolean because of convenience.

Fortunately SMT solvers pass the problem into a SAT solver if they are simple enough, so you are probably not even trading away performance