Di
Distributed SAT solver in Elixir
Hacker NewsDistributed SAT solver in Elixir
Hi, I wrote a distributed SAT solver in Elixir to get a feel of the language, perhaps someone out there might find this interesting. I really don't know if this can be a economic approach to SAT solving. https://github.com/roehst/elisat
Share cardActual performance
7points
2comments
Made the leaderboard
Launch Intel predictions
Analyze your own launch →Hacker NewsStrong engagement from HN community · Missing: https docs, excited, just released66%66% predicted probability of success on Hacker News, based on ML models trained on real launch data.
nativeThis product was originally launched on this platform.
TrustMRRLess likely to generate early MRR · Missing: mobile apps, ios, personal47%47% predicted probability of success on TrustMRR, based on ML models trained on real launch data.
AppSumoMay struggle as an AppSumo deal · Missing: plus, platform, intuitive40%40% predicted probability of success on AppSumo, based on ML models trained on real launch data.
Product HuntUnlikely to reach the leaderboard · Missing: mac, agents, macos22%22% predicted probability of success on Product Hunt, based on ML models trained on real launch data.
Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue21%21% predicted probability of success on Acquire.com, based on ML models trained on real launch data.
Indie HackersIH features products with proven revenue · Missing: supports, reddit linkedin, podcasting19%19% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.
BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto11%11% predicted probability of success on BetaList, based on ML models trained on real launch data.
Correct prediction on native model
Similar products
A
A solver for L-system grammars28%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
A solver for L-system grammars
Hacker News2Ge
Generic Bisection Solver23%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Generic Bisection Solver
Hacker News1An
Anagram Solver40%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Anagram Solver
Hacker News1SC
SCIP MIP solver bindings for Go, ported from russcip31%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
SCIP MIP solver bindings for Go, ported from russcip
Hacker News11Th
The XKCD Knapsack Solver28%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
The XKCD Knapsack Solver
Hacker News3Ju
Jumble Solver28%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Jumble Solver
Hacker News120
2048 Solver33%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
2048 Solver
Hacker News3A
A simple solver for L-system grammars29%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
A simple solver for L-system grammars
Hacker News2A
A Simple Geometric Constraint Solver38%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
A Simple Geometric Constraint Solver
Hacker News2Si
Simple Maze Solver29%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Simple Maze Solver
Hacker News2