dlvtogringo is a tool that converts output generated by “dlv -instantiate” to Gringo’s input language.

Download