|
|
|
|
|
|
by nextaccountic
521 days ago
|
|
|
> 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 |
|
|