v2.0.3
Requires CArL with branch master14
or a carl version between 17.12 and 18.08
- Extended bindings for arithmetic operations
- Fixed negation comparison
- Improved error output in installation
- Extended documentation
- Improved and extended setup
Requires CArL with branch master14
or a carl version between 17.12 and 18.08