Black-sat

Latest version: v0.10.6

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

Page 3 of 5

Feature release:
- CVC5 backend
- Non-rigid functions and relations in LTLfMT
- Minimal unsatisfiable core extraction
- Raw identifiers in formulas

Maintenance release

Important fix to the LTLfMT encoding.

Fixes compilation issues with recent versions of Z3

Fix a bug that could cause non-termination for some formulas involving past operators.

Support for LTLf modulo theories.

Has known vulnerabilities

Previous Next