/dlv-beautifier

Simple Python script that enhances the output of DLV.

Primary LanguagePython

Watchers