Submissions from github.com/r-o-c-k-e-t

		Enhancing Factorio with SAT solvers (github.com/r-o-c-k-e-t)
		376 points by polivier on Feb 12, 2024 \| past \| 119 comments
		Factorio SAT (github.com/r-o-c-k-e-t)
		2 points by 1915cb1f on Jan 23, 2024 \| past

HN For You