ASPMT2SMT

swMATH13280MaRDI QIDQ25195FDOQ25195

Author name not available (Why is that?)

Official website: http://reasoning.eas.asu.edu/aspmt/

Described by source

• System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers

Cited In (14)

• Non-monotonic spatial reasoning with answer set programming modulo theories
• CCalc
• Clingcon
• Cplus2ASP
• f2lp
• SparQ
• Partial compilation of ASP programs
• IDP
• ezcsp
• anthem
• DLV2
• eclingo
• First-order stable model semantics with intensional functions
• The External Interface for Extending WASP

This page was built for software: ASPMT2SMT