Factorio-SAT vs Factorio-TAS-Generator

Factorio-SAT

Enhancing the Factorio experience with SAT solvers (by R-O-C-K-E-T)

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 (by MortenTobiasNielsen)

factorio

Source Code

Suggest alternative

Edit details

Our great sponsors

InfluxDB - Power Real-Time Data Analytics at Scale

WorkOS - The modern identity platform for B2B SaaS

SaaSHub - Software Alternatives and Reviews

Our great sponsors

Factorio-SAT		Factorio-TAS-Generator
	Project
13	Mentions	3
601	Stars	11
-	Growth	-
1.5	Activity	8.7
21 days ago	Latest Commit	6 months ago
Python	Language	C++
GNU General Public License v3.0 only	License	MIT License

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.

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
3 projects | news.ycombinator.com | 12 Feb 2024
Factorio SAT
1 project | news.ycombinator.com | 23 Jan 2024
Whats harder to understand?
1 project | /r/factorio | 21 Nov 2022

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
3 projects | news.ycombinator.com | 13 Sep 2022
128-128 balancer is now 22 tiles shorter
3 projects | /r/factorio | 5 Sep 2022

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?
1 project | /r/technicalfactorio | 21 Aug 2022

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?
1 project | /r/Factoriohno | 30 Jul 2022

Extremely close
Belt Balancers
1 project | /r/factorio | 2 Jul 2022
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)
2 projects | /r/factorio | 8 Jun 2022

I have a different idea to solve this problem inspired by the Factorio SAT solver.
Complex explanation to trivial problem?
1 project | /r/technicalfactorio | 18 May 2022

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).

Factorio-TAS-Generator

Posts with mentions or reviews of Factorio-TAS-Generator. We have used some of these posts to build our list of alternatives and similar projects.

[TAS] Tool Assisted Speedrun to research Steel axe. New fastest time of 7:35.800 by Me.
1 project | /r/factorio | 27 Jun 2023

This run was developed using: Factorio TAS Generator Using mods:
WR Steel axe TAS by me, video. Achieving 7:46, 55 seconds faster than the human record.
1 project | /r/factorio | 12 May 2023

It doesn't permit real time inputs. But my mod TAS step planner allows you to record actions which can then imported into FTG.
Steelaxe TAS WR, 7:46, by me. 55 seconds faster than the human WR.
1 project | /r/factorio | 10 May 2023

This is my Steelaxe% TAS (Tool assisted speedrun). Which you can run yourself as a mod from inside the game. This run took 11 days to compile. It was built using FTG and the mods listed on there. Everything is improvised with minimal inspiration from other runs.