21 Releases 21 Tags

RSS Feed

• v0.1.0 427e5705c7

  Compare

  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