Skip to content

Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657) #1511

Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657)

Fix ef-solve crash and spurious "model error" on UF-in-arithmetic quantifiers (#657) #1511

Annotations

1 warning

macos-latest|debug|--enable-thread-safety|CC=clang CXX=clang++ (pr)

succeeded Jul 25, 2026 in 7m 11s