This repository has been archived by the owner on Aug 28, 2024. It is now read-only.
anthem 0.2.0 RC 4
Pre-release
Pre-release
·
20 commits
to master
since this release
v0.2.0-rc.4
pluehne
Patrick Lühne
This tag was signed with the committer’s verified signature.
The key has expired.
pluehne
Patrick Lühne
Changes
- new translation mode for proving strong equivalence via logic of here-and-there (
--mode=here-and-there, enabled by default) - former completion-oriented translation scheme now available with
--mode=completion
Features
- new TPTP output format for usage with theorem provers (
--output-format=tptp, while--output-format=human-readableis the default) - full support for both integer and symbolic values with additional transformation for TPTP output
- new option to enforce this transformation in the human-readable output format as well (
--map-to-integers=always, while the default,--map-to-integers=auto, only applies the mapping for TPTP output) - information note if the input program is definite or not
Bug Fixes
- omits unnecessary parentheses around function and predicate arguments