Skip to content
This repository has been archived by the owner on Aug 28, 2024. It is now read-only.

anthem 0.1.0
Compare
Choose a tag to compare
@pluehne pluehne released this 24 Nov 22:57
· 288 commits to master since this release
v0.1.0
fe81714
This commit was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.

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
Assets 3
Loading