{"adoption": {"forks": 418, "observed_at": "2026-08-28T04:03:55.849877+00:00", "stars": 1189}, "canonical_url": "https://ross.abutalabs.com/products/minisat", "card": {"archived": false, "artifact_type": "library", "description": "A minimalistic and high-performance SAT solver", "domain": ["developer-tools"], "enriched": true, "function": ["search-engine", "parser"], "health_score": 20, "homepage": "minisat.se", "language": "C++", "license": "NOASSERTION", "license_family": "other", "maturity": "maintenance", "member_repos": ["niklasso/minisat"], "name": "niklasso/minisat", "platform": ["cpp", "cross-platform"], "pushed_at": "2024-04-28T23:57:29+00:00", "repo": "niklasso/minisat", "stars": 1189, "tags": ["sat-solver", "constraint-solving", "cnf", "boolean-satisfiability", "algorithms", "linux", "macos"], "topics": [], "urls": [], "use_cases": ["solve boolean satisfiability problems from DIMACS CNF files", "embed a SAT solver in a C++ application for constraint solving", "verify hardware or software designs via SAT encoding", "solve scheduling and planning problems reduced to SAT", "use SAT as a backend for model checking or theorem proving"], "what_it_is": "MiniSat is a minimalistic, high-performance Boolean satisfiability (SAT) solver written in C++. It reads CNF formulas and either finds a satisfying assignment or proves unsatisfiability, and can be embedded as a C++ library or used as a command-line tool.", "when_to_avoid": ["you need SMT, optimization (MaxSAT), or incremental solving features beyond basic SAT", "you want a modern solver with active development and the latest performance improvements", "you need a permissive license — MiniSat's MIT-style license has an unusual non-commercial clause"], "when_to_choose": ["you need a small, fast, well-understood SAT solver with a simple C++ API", "you want a classic solver with proven heuristics (VSIDS, clause learning)", "you need a command-line tool for DIMACS CNF instances"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/minisat", "repo": "niklasso/minisat", "role": "main", "score": 32}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:03:55.849877+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T06:23:19.772673+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fd", "fetched_at": "2026-08-28T04:03:55.849877+00:00", "kind": "readme", "missing": false, "url": "https://github.com/niklasso/minisat"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 0, "longevity": 100, "rhythm": 35}, "computed_at": "2026-09-03T02:20:16.233290+00:00", "flags": ["no_releases", "no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 6205, "days_push": 857, "days_rel": null, "gap_med": null, "n_releases_24m": 0}, "score": 32, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}