anthem/CHANGELOG.md

Change Log

0.1.0 (2016-11-24)

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