Test LP generalization#218

Draft

bruno-go wants to merge 13 commits intoTAPAAL:mainfrom

bruno-go:lp-generalization

Commits on Sep 22, 2025

P >= 0 Constraints for LP and some linux include problems fixed
bruno.gonzalez
committed

Commits on Sep 29, 2025

fixed p>= constraints
bruno.gonzalez
committed

Commits on Oct 17, 2025

added lp and solution printing to potentially debug some cases
bruno.gonzalez
committed

Commits on Nov 21, 2025

lp loop constraints
bruno.gonzalez
committed

Commits on Dec 4, 2025

changed tolerances and bound
bruno.gonzalez
committed

Commits on Dec 18, 2025

lower constant
bruno.gonzalez
committed

Commits on Feb 28, 2026

lp changes mostly working?
bruno.gonzalez
committed

Commits on Mar 5, 2026

fix nested operators creating incorrect lps
bruno.gonzalez
committed

Commits on Mar 8, 2026

fix unqunatified conditions
bruno.gonzalez
committed
improve unquantified condition handling
bruno.gonzalez
committed

Commits on Mar 16, 2026

less conservative operator handling
bruno.gonzalez
committed

Commits on Mar 19, 2026

small changes
bruno.gonzalez
committed
timestamp added
bruno.gonzalez
committed