|
|
|
|
|
|
by Smaug123
1225 days ago
|
|
|
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). |
|
|