genpark-dpll-sat-solver-skill
Davis-Putnam-Logemann-Loveland (DPLL) Boolean satisfiability solver with unit propagation and recursive backtracking.
Details
- External ID
- 1363480919
- Source
- GITHUB
- Company
- —
- Product
- genpark-dpll-sat-solver-skill
- Website domain
- github.com
- Launched
- Sept. 10, 2026
- Cohort
- —
- Upvotes
- 7
- Upvotes percentile
- 0.05976172175249808
- Tags
- agentic-ai, automated-reasoning, boolean-logic, dpll, formal-methods, 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
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- boolean satisfiability solver for logic verification
- Manually corrected
- False
Could you build this?
Yes The DPLL SAT solver algorithm is classic CS curriculum material that LLMs can generate accurately in a single prompt.
Competitors
Other products that read as similar to this one — 384 launches clear the similarity bar, closest 8 shown.
Attention rank: #200 of 385 (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-unit-propagation-skill · github · 2026-09-10 · 7 upvotes · similarity 0.97
- genpark-dpll-sat-solver-unit-propagation-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.51
- genpark-deutsch-jozsa-quantum-oracle-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.51
- genpark-loop-invariant-induction-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.50
- genpark-loop-invariant-induction-prover-skill · github · 2026-09-09 · 8 upvotes · similarity 0.50
- genpark-paillier-partially-homomorphic-encryption-skill · github · 2026-09-10 · 7 upvotes · similarity 0.49
- genpark-presburger-arithmetic-linear-integer-solver-skill · github · 2026-09-09 · 8 upvotes · similarity 0.49
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.