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. Learn more →
Factorio-SAT Alternatives
Similar projects and alternatives to Factorio-SAT
-
FactorioSimulation
Multiple tools for factorio stuff, most notably the belt balancer analyzer.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
factorio-blueprint-decoder
Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.
-
-
-
-
factorio_blueprint_analyser
Find your blueprint bottleneck
-
InfluxDB
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.
-
-
optaplanner-quickstarts
Mirror of https://github.com/apache/incubator-kie-optaplanner-quickstarts
-
highfleet-ship-opt
A c/c++ module and python extensions for automatic optimization of Highfleet ship modules. Try it live at https://hfopt.jodavaho.io
-
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
Factorio-SAT reviews and mentions
- Enhancing the Factorio experience with SAT solvers
- 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)
-
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.
You might be interested in this Factorio SAT solver which generates novel balancers
-
Balancer Book Update (Spring 2022)
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.
-
Optimal Belt Balancers
If you're interested in some pictures and specifics. Then https://github.com/R-O-C-K-E-T/Factorio-SAT.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 29 Mar 2024
Stats
R-O-C-K-E-T/Factorio-SAT is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of Factorio-SAT is Python.