- Added support for continuous integration with Github Actions
2.0.4
Requires carl with branch `master14`
- Extended conversion of number types to formulae - (minor) changed `constant_part` to function for `Polynomial` - (minor) added an additional operator on polynomials - Fix for compilation with Xcode 11
2.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
2.0.2
2.0.1
2.0.0
- First version with support for CLN and GMP. This means that no longer all operators are supported as it would be ambiguous - Using bigint