3 ms·
Still trying to understand exactly what this is. It seems like its like a declarative DSL for interacting with an SMT solver? Is this supposed to be for diffe
by jeremysalwen 4y ago
Still trying to understand exactly what this is. It seems like its like a declarative DSL for interacting with an SMT solver? Is this supposed to be for different use cases than an SMT solver? Does it solve different classes of problems, or is it just a different "interface" to the same basic capabilities?
- sirwhinesalot 4y agoIt's its own brand of constraint solving, distinct from SAT/CP/SMT/MIP. Like the others it is particularly good at certain classes of problems, despite theoretically them all being "equivalent" and most of them just using a SAT solver underneath. ASP is best viewed as Datalog++, in that it's a fully declarative logic programming language with some restrictions to allow for efficient solving. It is more expressive than datalog but in turn the solving tech required is a lot more computationally expensive.