Ask HN: Good data sets for 3SAT?

		Ask HN: Good data sets for 3SAT?
		3 points by AnimalMuppet on Sept 26, 2017 \| hide \| past \| favorite

		Where could I find some data sets of 3SAT problems, including pathological cases? I have an idea for a solution that I want to try out. (Yeah, I know, I should go home to bed and do my dreaming there...)