Upabjojr/z3test-nl-large download history

Upabjojr/z3test-nl-large is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 43 times (3 in the last 7 days), and 43 times in total. It ranks #207,284 among datasets by monthly downloads.

z3test: the two large nonlinear regressions Two machine-generated SMT-LIB 2 files of the regressions/nl directory of z3test, unchanged and at the same paths: File Size regressions/nl/fastmul-unfolded-l-native-nl-wrapped.smt2 13 MB regressions/nl/helperlemma-l-native-nl-wr

Open Upabjojr/z3test-nl-large on Hugging Face

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