patrick
released this
2018-05-04 17:11:29 +02:00
| 1 commits to develop since this release
Changes
- turns on completion and simplification by default, which can now be switched off with
--no-complete and --no-simplify
Features
- detection of integer variables and integer predicate parameters
- command-line option
--no-detect-integers to disable integer variable detection
- new simplification rule applying to integer variables
- support for declaring functions integer with the
#external directive
Bug Fixes
- fixes incorrect translation of unsupported choice rules with multiple elements by returning an error instead
- fixes precedence of intervals by enclosing them in parentheses
Downloads
patrick
released this
2018-04-22 22:33:52 +02:00
| -8 commits to develop since this release
Features
- 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
patrick
released this
2018-04-22 21:13:13 +02:00
| -5 commits to develop since this release
Features
- 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
patrick
released this
2018-04-22 17:31:58 +02:00
| -4 commits to develop since this release
Features
- 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
patrick
released this
2018-04-21 19:02:26 +02:00
| -1 commits to develop since this release
Features
- 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
patrick
released this
2018-04-20 16:43:22 +02:00
| 10 commits to develop since this release
Features
- optional detection of integer variables and integer predicate parameters
- command-line option
--detect-integers to enable integer variable detection
Downloads
patrick
released this
2018-04-20 16:36:38 +02:00
| 33 commits to develop since this release
Features
- more and advanced simplification rules
- adds support for exponentiation (power) and modulus (absolute value)
- new examples: prime numbers, permutation generator, and graph coloring (extended)
Downloads
patrick
released this
2018-04-12 01:06:52 +02:00
| 34 commits to develop since this release
Features
- more and advanced simplification rules
- adds support for exponentiation (power) and modulus (absolute value)
- new examples: prime numbers, permutation generator, and graph coloring (extended)
Downloads
patrick
released this
2018-04-11 23:27:10 +02:00
| 36 commits to develop since this release
Features
- more and advanced simplification rules
- adds support for exponentiation operator
- new examples: prime numbers, permutation generator, and graph coloring (extended)
Downloads
patrick
released this
2018-04-11 21:44:40 +02:00
| 44 commits to develop since this release
Features
- more, advanced simplification rules
Downloads