COINjecture/SAT_Solutions download history

COINjecture/SAT_Solutions is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 114 times (22 in the last 7 days), and 2,317 times in total. It ranks #103,765 among datasets by monthly downloads.

COINjecture/SAT_Solutions Dataset Description Boolean Satisfiability Problem solutions from the COINjecture Network B blockchain. SAT problem instances and solutions from COINjecture Network B blockchain mining This dataset contains real-world computational problem instances an

Open COINjecture/SAT_Solutions on Hugging Face

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