optaplanner-quickstarts vs Factorio-SAT

optaplanner-quickstarts

Mirror of https://github.com/apache/incubator-kie-optaplanner-quickstarts (by kiegroup)

Suggest topics

Source Code

Suggest alternative

Edit details

Factorio-SAT

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

factorio Python sat

Source Code

Suggest alternative

Edit details

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.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

optaplanner-quickstarts		Factorio-SAT
	Project
4	Mentions	13
28	Stars	602
-	Growth	-
4.7	Activity	1.5
about 1 month ago	Latest Commit	26 days ago
Java	Language	Python
Apache License 2.0	License	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.

optaplanner-quickstarts

Posts with mentions or reviews of optaplanner-quickstarts. 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
Ask HN: Do you use an optimization solver? Which one? Why? Do you like it?
12 projects | news.ycombinator.com | 20 Apr 2022
How to build an app that can auto generate a weekly and a monthly complex roster for my department?
1 project | /r/AskProgramming | 1 Feb 2022

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?
1 project | /r/OperationsResearch | 30 Dec 2021

Source code: https://github.com/kiegroup/optaplanner-quickstarts/tree/8.5.x/quarkus-factorio-layout

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

What are some alternatives?

When comparing optaplanner-quickstarts and Factorio-SAT you can also consider the following projects:

or-tools - Google's Operations Research tools:

balancer

HiGHS - Linear optimization software

factorio-blueprint-decoder - Decode Factorio's binary `blueprint-storage.dat` file into JSON for backup, downgrading or further manipulation.

intellij-quarkus - IntelliJ Quarkus Tools

Wiki-scripts - Scripts used on the official factorio wiki

OptaPlanner - Java Constraint Solver to solve vehicle routing, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

FactorioSimulation - Multiple tools for factorio stuff, most notably the belt balancer analyzer.

python-mip - Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs

apfel - Automated Partitioning of Factories for Efficient Layouts

clpz - Constraint Logic Programming over Integers

Mindustry - The automation tower defense RTS