-
anthem 0.1.9 RC 3 Pre-Release
released this
2018-04-22 17:31:58 +02:00 | -4 commits to develop since this releaseFeatures
- optional detection of integer variables and integer predicate parameters
- command-line option
--detect-integers
to enable integer variable detection - support for declaring functions integer with the
#external
directive - new simplification rule applying to integer variables
Downloads