patrick
/
anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

21 Releases 21 Tags

  • v0.1.7 582b6ade6d

    anthem 0.1.7 Stable

    patrick released this 2018-04-08 20:55:58 +02:00 | 57 commits to develop since this release

    Features

    • support for declaring placeholders with the #external directive

    Internal

    • drops Boost dependency in favor of the header-only command-line option library cxxopts
    Downloads
  • v0.1.7-rc.3 fc4edc670a

    anthem 0.1.7 RC 3 Pre-Release

    patrick released this 2018-04-07 02:16:51 +02:00 | 60 commits to develop since this release

    Features

    • support for declaring placeholders with the #external directive

    Internal

    • drops Boost dependency in favor of the header-only command-line option library cxxopts
    Downloads
  • v0.1.7-rc.2 b8bfa7db7a

    anthem 0.1.7 RC 2 Pre-Release

    patrick released this 2018-04-06 23:12:48 +02:00 | 61 commits to develop since this release

    Features

    • support for declaring placeholders with the #external directive

    Internal

    • drops Boost dependency in favor of the header-only command-line option library cxxopts
    Downloads
  • v0.1.7-rc.1 744496d1d9

    anthem 0.1.7 RC 1 Pre-Release

    patrick released this 2018-04-05 23:32:50 +02:00 | 64 commits to develop since this release

    Features

    • support for declaring placeholders with the #external directive
    Downloads
  • v0.1.6 427e5705c7

    anthem 0.1.6 Stable

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

    Features

    • unique IDs for all variables (user-defined variables are renamed)
    • support for hiding predicates from completed output by using #show statements
    • more simplification rules with --simplify
    • command-line option --parentheses to fully parenthesize the output
    • adds multiple example instances for experimenting

    Bug Fixes

    • adds missing error message when attempting to read inaccessible file
    • removes unnecessary parentheses after simplification
    • fixes incorrect simplification with binary operations in arguments
    Downloads
  • v0.1.5 427e5705c7

    anthem 0.1.5 Stable

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

    Bug Fixes

    • fixes lost signs with negated 0-ary predicates
    Downloads
  • v0.1.4 427e5705c7

    anthem 0.1.4 Stable

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

    Features

    • completion of input programs (optional)
    • command-line option --complete to turn on completion
    Downloads
  • v0.1.3 427e5705c7

    anthem 0.1.3 Stable

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

    Features

    • support for anonymous variables

    Bug Fixes

    • fixes incorrectly simplified rules with comparisons
    • fixes misleading error message concerning negated, unsupported body literals
    Downloads
  • 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
  • v0.1.1 427e5705c7

    anthem 0.1.1 Stable

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

    Features

    • support for choice rules (without guards)
    Downloads