JuliaSymbolics/Symbolics.jl v7.5.0

on GitHub

Symbolics v7.5.0

Diff since v7.4.1

Merged pull requests:

• docs: Update constraint_satisfaction.md for SymbolicSMT v1.2 (#1735) (@ChrisRackauckas-Claude)
• feat: handle LinearAlgebra.dot in linear_expansion (#1743) (@AayushSabharwal)
• fix: fix malformed unsafe code in _linear_expansion (#1744) (@AayushSabharwal)
• build: bump minor version (#1745) (@AayushSabharwal)

Closed issues:

• Examples in docs for constraint satisfaction do not run (#1727)