anthem
From MaRDI portal
Software:42137
No author found.
Related Items (3)
Verifying Tight Logic Programs with anthem and vampire ⋮ Modular Answer Set Programming as a Formal Specification Language ⋮ Verifying strong equivalence of programs in the input language of \textsc{gringo}
This page was built for software: anthem
