Fix support for mathematical types#8324

Merged

tautschnig merged 3 commits intodiffblue:developfrom

tautschnig:bugfixes/mathematical-types

Oct 12, 2025

Commits on Sep 23, 2025

Fix and demonstrate support for __CPROVER_rational

polgreen
authored and
tautschnig
committed

Commits on Oct 7, 2025

Fix support for mathematical types
tautschnig
committed

Commits on Oct 12, 2025

Represent (a subset of) real numbers as algebraic numbers
tautschnig
committed