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