genpark-dpll-sat-solver-unit-propagation-skill
Davis-Putnam-Logemann-Loveland (DPLL) Boolean SAT solver engine implementing unit propagation, pure literal elimination, and backtracking search.
Details
- External ID
- 1363430465
- Source
- GITHUB
- Company
- —
- Product
- genpark-dpll-sat-solver-unit-propagation-skill
- Website domain
- github.com
- Launched
- Sept. 10, 2026
- Cohort
- —
- Upvotes
- 7
- Upvotes percentile
- 0.05976172175249808
- Tags
- agentic-ai, automated-reasoning, boolean-satisfiability, dpll, genpark-skill, sat-solver
- Fetched at
- Sept. 14, 2026, 1:02 a.m.
- Updated at
- Sept. 14, 2026, 1:02 a.m.
Enrichment
- Theme
- specialized AI models and agent reasoning tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- AI-native
- Project type
- Hobby / open-source project
- Normalized one-liner
- dpll sat solver skill for ai agents
- Manually corrected
- False
Could you build this?
Yes The Davis-Putnam-Logemann-Loveland (DPLL) algorithm with unit propagation and backtracking is a classic computer science algorithm that LLMs can implement reliably out-of-the-box.
Competitors
Other products that read as similar to this one — 269 launches clear the similarity bar, closest 8 shown.
Attention rank: #124 of 270 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 311 days after the earliest competitor.
- genpark-dpll-sat-solver-skill · github · 2026-09-10 · 7 upvotes · similarity 0.97
- genpark-deutsch-jozsa-quantum-oracle-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.49
- genpark-deutsch-jozsa-quantum-oracle-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.49
- genpark-presburger-arithmetic-linear-integer-solver-skill · github · 2026-09-09 · 8 upvotes · similarity 0.47
- genpark-presburger-arithmetic-linear-integer-solver-skill · github · 2026-09-09 · 8 upvotes · similarity 0.47
- genpark-hypothesis-welch-t-test-statistical-evaluator-skill · github · 2026-09-28 · 7 upvotes · similarity 0.47
- genpark-loop-invariant-induction-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.46
- genpark-loop-invariant-induction-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.46
Other launches for this product
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.