Hacker GitHub

← All repos

R-O-C-K-E-T/Factorio-SAT

View on GitHub ↗ ★ 784 Python

Enhancing the Factorio experience with SAT solvers

6 mentions on Hacker News by 6 people: 2 stories, 4 comments · first 2022-09-14 · latest 2025-03-11

Mentions per year 6 mentions · busiest year 2024 (4)
20082026
AllStoriesComments NewestTopOldest
  1. someone approached that problem with a more traditional SAT solver https://github.com/R-O-C-K-E-T/Factorio-SAT
    comment by fragmede · 2025-03-11 · in Show HN: Factorio Learning Environment – Agents Build Factories
  2. https://github.com/R-O-C-K-E-T/Factorio-SAT is another codebase trying to tackle the same problem
    comment by piebro · 2024-12-30 · in Learning Solver Design: Automating Factorio Balancers
  3. …finding the optimal belt balancer for any size (Though it might take a few months/years to compute) https://github.com/R-O-C-K-E-T/Factorio-SAT
    comment by orangepanda · 2024-10-18 · in Factorio – Visualizing construction material dependencies
  4. ▲ 376
    Enhancing Factorio with SAT solvers
    story by polivier · 2024-02-12 · 119 comments
  5. ▲ 2
    Factorio SAT
    story by 1915cb1f · 2024-01-23 · 0 comments
  6. This [Factorio SAT Solver]( https://github.com/R-O-C-K-E-T/Factorio-SAT ) has generated novel balancer designs. See the [wiki]( https://wiki.factorio.com/Balancer_mechanics ) to learn about belt balancers.
    comment by tommsy64 · 2022-09-14 · in Factorio is coming to Nintendo Switch