Factorio-SAT
Enhancing the Factorio experience with SAT solvers (by R-O-C-K-E-T)
apfel
Automated Partitioning of Factories for Efficient Layouts (by suyjuris)
Our great sponsors
| Factorio-SAT | apfel | |
|---|---|---|
| 13 | 1 | |
| 601 | 1 | |
| - | - | |
| 1.5 | 0.0 | |
| 21 days ago | over 2 years ago | |
| Python | C++ | |
| GNU General Public License v3.0 only | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Factorio-SAT
Posts with mentions or reviews of Factorio-SAT.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2024-02-12.
- Enhancing the Factorio experience with SAT solvers
- Factorio SAT
-
Whats harder to understand?
Yes, simply said you can formulate "this contraption is a X by Y balancer" as a SAT problem, which can be solved by a computer. See this example.
- Factorio is coming to Nintendo Switch
-
128-128 balancer is now 22 tiles shorter
8-7 is now 8x14 (inline) instead of 9x13. Discovered by tcosprojects using Factorio-SAT with a parallel SAT solver (more)
-
Nonlinear response to inputs?
A bit unconventional, but the complexity of belts (balancers) grows exponentially, as is demonstrated by this.
-
Is it just me or does Fast Fourier Transform kinda look like balancers?
Extremely close
- Belt Balancers
-
I have tried to program an evolutionary model for optimal petrolium production in confined spaces, maybe someone has an idea how to improve the cost function (right now number of refineries are too influential)
I have a different idea to solve this problem inspired by the Factorio SAT solver.
-
Complex explanation to trivial problem?
In the Spring 2022 raynquist Balancer Book Update, a SAT Solver was used to generate more optimal balancers. This tool is quite robust (look at the example usages).
apfel
Posts with mentions or reviews of apfel.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-04-20.
-
Balancer Book Update (Spring 2022)
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.
What are some alternatives?
When comparing Factorio-SAT and apfel you can also consider the following projects:
balancer
factorio-blueprint-decoder - Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.
Wiki-scripts - Scripts used on the official factorio wiki
FactorioSimulation - Multiple tools for factorio stuff, most notably the belt balancer analyzer.
Mindustry - The automation tower defense RTS
Factorio-FBSR - Factorio Blueprint String Renderer
factorio_blueprint_analyser - Find your blueprint bottleneck
Factorio-TAS-Generator - This is an attempt to create a helper tool for Tool Assisted Speedruns in Factorio. A guide of how to use the tool can be found here: https://www.youtube.com/watch?v=V9tuNoDqc0E&t