|
|
|
|
|
|
by Dn_Ab
5007 days ago
|
|
|
Awesome response thanks. The increased ease of use for modeling is part of why I decided on it rather than an SMT solver. One should prefer ASP wherever the assumptions hold. I use(d) DLV-Complex but will check your link. But right, by more flexible I meant the availability of quantifiers in SMT solvers. |
|
|