Balancer Book Update (Spring 2022)

• Factorio-SAT

  13 601 1.5 Python

  Enhancing the Factorio experience with SAT solvers

Factorio-SAT is a program that generates compact layout for balancers. It is the biggest balancer innovation in years. Many people have attempted to create such a program, but no one has succeeded, until R_O_C_K_E_T came along. He accomplishes this by reducing the balancer layout problem to SAT, then feed it to a SAT solver to get the solutions. I had thought reducing to SAT was just something people did theoretically, but apparently I was wrong.

• apfel

  1 1 0.0 C++

  Automated Partitioning of Factories for Efficient Layouts

Very nice! I did something similar a while back, and based on my experiments I thought that using a predefined layout has severe scaling issues. So I find it particularly impressive that one can get 16-16 balancer layouts! I might have been using a bad encoding (I suspect underground belts in particular, but based on a quick glance I could not find our what Factorio-SAT is using.) Layout free approaches worked somewhat better, but of course involve a ton of variables. Code is here if anyone is interested, but it is neither done nor usable.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project