Factorio-SAT
optaplanner-quickstarts
Factorio-SAT | optaplanner-quickstarts | |
---|---|---|
13 | 4 | |
604 | 31 | |
- | - | |
1.5 | 4.7 | |
about 1 month ago | about 2 months ago | |
Python | Java | |
GNU General Public License v3.0 only | Apache License 2.0 |
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
- 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).
optaplanner-quickstarts
- Enhancing the Factorio experience with SAT solvers
- Ask HN: Do you use an optimization solver? Which one? Why? Do you like it?
-
How to build an app that can auto generate a weekly and a monthly complex roster for my department?
The model classes aren't tricky... but you'll need to think about it.
-
Anyone try to apply OR to videogames, such as, say, Factorio?
Source code: https://github.com/kiegroup/optaplanner-quickstarts/tree/8.5.x/quarkus-factorio-layout
What are some alternatives?
balancer
or-tools - Google's Operations Research tools:
factorio-blueprint-decoder - Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.
HiGHS - Linear optimization software
Wiki-scripts - Scripts used on the official factorio wiki
intellij-quarkus - IntelliJ Quarkus Tools
FactorioSimulation - Multiple tools for factorio stuff, most notably the belt balancer analyzer.
OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
apfel - Automated Partitioning of Factories for Efficient Layouts
python-mip - Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs
Mindustry - The automation tower defense RTS
clpz - Constraint Logic Programming over Integers