curie3170/GaloisSAT_phase_32_unsat download history

curie3170/GaloisSAT_phase_32_unsat is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 24 times (6 in the last 7 days), and 2,561 times in total. It ranks #326,781 among datasets by monthly downloads.

Open curie3170/GaloisSAT_phase_32_unsat on Hugging Face

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