v0.3.12
Brice Giesbrecht
@briceg
80dc5559
·
chore: Bump version to 0.3.12
·
Dec 26, 2025
TCK 89.2% - QuantifierExpr aggregation fix
