| ▲ | MWil 4 hours ago | |
the author seems unaware of the SAT/SMT solver/analysis ecosystem | ||
| ▲ | dang 2 hours ago | parent | next [-] | |
"Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something." | ||
| ▲ | sanxiyn 4 hours ago | parent | prev [-] | |
Why do you think so? I didn't get such impression. | ||