Even the general constraint solver? There are tools like Z3 which are designed to solve this sort of problem (quickly and exhaustively), and then there are tools like TLA+ which can solve this sort of problem (slowly and exhaustively).