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

anthem 0.1.2
Compare
Choose a tag to compare
@pluehne pluehne released this 23 Mar 14:35
· 239 commits to master since this release
v0.1.2
This tag 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.
7dcd684
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

  • simplification of output formulas (optional)
  • command-line option --simplify to turn on simplification

Bug Fixes

  • fixes incorrectly translated choice rules with multiple elements in the head aggregate

Internal

  • explicit syntax tree representation for first-order formulas
Assets 3
Loading