• v0.1.2 427e5705c7

    anthem 0.1.2 Stable

    patrick released this 2017-06-20 02:05:12 +02:00 | 73 commits to develop since this release

    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
    Downloads