3 ms·
Intersting. I did not consider the question from a practical POV. What are the main technical impediments with using SMT solvers are ASP backends?
by NotableAlamode 12y ago
Intersting. I did not consider the question from a practical POV. What are the main technical impediments with using SMT solvers are ASP backends?