/dlv-beautifier

Simple Python script that enhances the output of DLV.

Primary LanguagePython

DLV Beautifier

Simple Python script that enhances the output of DLV.

Get DLV

http://www.dlvsystem.com/

Usage

Just pipe the output of DLV into the Beautifier:

dlv {FRONTEND} -silent {OPTIONS} [filename [filename [...]]] | python3 beautifier.py

If the silent option is not set, the header of DLV will be shown as its own answer set.

What the Beautifier does

  • Sorts the atoms by name, ascending
  • Puts each atom of each answer set into its own line
  • Improves readability by adding spaces
  • Hides negative atoms (that start with -)