ASPMT2SMT

MaRDI QIDQ25195swMATHFDO

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

Described by source

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

Cited in

(14)

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

This page was built for software: ASPMT2SMT