- Adaptions to changes in carl - Extended bindings for rational functions and factorized rational functions - `Variable` constructor no longer returns an existing variable if a variable with that name exists - `expand()` allows to obtain the expanded polynomial and rational function - Added methods for getting information about pycarl configuration - Extended build script: * uses config file * support for disabling build of CLN and parser bindings * fixed debug build type
17.08
- Added conversions between CLN and GMP - Added variable and integer pickling support. Throw errors if pickling is not supported - Added hash functions - Hide factorization caches for user - Depend on [carl-parser](https://github.com/ths-rwth/carl-parser) for parsing routines - Check for carl version - Fixed issues when CLN is not available
14.23
- Upgraded repo / version for carl, requires [carl-storm](https://github.com/moves-rwth/carl-storm) from now on - Developer: added Dockerfile - Developer: improved build process - Developer: updated pybind11 to version 2.10.0
Version 2.1.x -------------
2.3.0
2.2.0
2.1.0
Requires carl with branch `master14`
- Developer: updated pybind11 to version 2.8.1 and adapted bindings accordingly - Improved continuous integration with Github Actions