swMATH40593MaRDI QIDQ56293
No author found.
Source code repository: https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_FP