patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

21 Releases 21 Tags

  • v0.1.0 427e5705c7

    anthem 0.1.0 Stable

    patrick released this 2017-06-20 02:05:12 +02:00 | 73 commits to develop since this release

    Features

    • initial support for translating rules in Essential Gringo (excluding aggregates) to first-order logic formulas
    • command-line option --color to autodetect, enable, or disable color output
    • command-line option --log-level to control which status messages should be shown
    Downloads