-
anthem 0.1.2 Stable
released this
2017-06-20 02:05:12 +02:00 | 73 commits to develop since this releaseFeatures
- 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
Downloads