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
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
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
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
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
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
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
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
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
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