Upabjojr/smtlib-2025-nra download history

Upabjojr/smtlib-2025-nra is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 51 times (6 in the last 7 days), and 51 times in total. It ranks #182,934 among datasets by monthly downloads.

SMT-LIB release 2025: QF_NRA and NRA The two nonlinear real arithmetic logics of the SMT-LIB 2025 release of the non-incremental benchmarks, unchanged: the archives are the ones Zenodo publishes, byte for byte (their MD5 sums are the published ones; SHA256SUMS lists them too). F

Open Upabjojr/smtlib-2025-nra on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.