Pycarl

Latest version: v2.3.0

Safety actively analyzes 710445 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 3

2.0.5

Requires carl with branch `master14`

- 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


Version 1.2.x
-------------

Page 2 of 3

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.