Fixes by SMT-RAT#105

Merged

ahmed-irfan merged 5 commits intoSRI-CSL:masterfrom

Ovascos:smt-rat-fixes

Nov 15, 2025

Commits on Nov 3, 2025

fixes provided by SMT-RAT
Ovascos
committed

Commits on Nov 4, 2025

Commits on Nov 10, 2025

Merge branch 'master' into smt-rat-fixes
ahmed-irfan
authored

Commits on Nov 12, 2025

Added C++ interface and test for lp_polynomial_constraint_evaluate_subs
Ovascos
committed