anthem

MaRDI QIDQ42137swMATHFDO

Official website https://arxiv.org/abs/1810.00453

Cited in

(10)

• Verifying Tight Logic Programs with anthem and vampire
• Gringo
• Potassco
• aspcud
• IDP
• asprilo
• DLPEQ
• lpeq
• Verifying strong equivalence of programs in the input language of \textsc{gringo}
• Modular answer set programming as a formal specification language

This page was built for software: anthem