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

406 B
Raw Blame History

Change Log

0.1.1 (2017-03-06)

Features:

  • support for choice rules (without guards)

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