[NotableAlamode]

Intersting. I did not consider the question from a practical POV. What are the main technical impediments with using SMT solvers are ASP backends?