Tools
Stable signalUnknownMedium-risk permissions
SAT Solver icon

SAT Solver

Solve CNF SAT instances locally in Chrome using a production-style CDCL solver.

Users2Current public install base
Rating--Store average score
Reviews0Public review volume
Manifest versionV3Extension platform version
7-day growth0Net users gained this week
7-day growth rate0%Relative weekly velocity
Preview

SAT Solver Media preview

1 assets
Trend

30-day user trend

Review user movement over the last 30 days.

User Growth Over Time

223332026年6月9日2026年6月12日2026年6月15日Latest: 2
Rating trend

30-day rating change

Track rating movement over time to see whether quality signals remain stable.

Not enough rating snapshots yet. More data will appear as new snapshots are collected.
Growth overview

Daily, weekly, and monthly growth

Compare 1-day, 7-day, and 30-day net growth and growth rate.

1-day growthDeclining
-1-33.3%
7-day growthFlat
00%
30-day growthGrowing
+1+100%
Technical snapshot

Version, languages, and crawl freshness

Review publication date, version, supported languages, and crawl timestamps.

Version1.1.0
ManifestV3
Size14.17KiB
Languages1English
Published
Store updated
Last crawled
English
Overview

Product summary

Review the store description, core capabilities, and common use cases.

What This SAT Solver Extension does

This extension is a fully self-contained SAT solving environment inside your browser, designed for both experimentation and real problem solving.

1. Write and Edit Real SAT Problems

You can directly input SAT instances in DIMACS CNF format in the Formula panel.

Write clauses manually (e.g. 1 2 -3 0)

Add comments and metadata (c, p cnf)

Reviews

Recent review snapshot

Inspect the latest comments and rating distribution.

5★
0
4★
0
3★
0
2★
0
1★
0
Related products

Similar and related extensions

Review related products from the Chrome Web Store detail page.