sat-dependency-resolver 0.1.1

Universal dependency resolver using SAT solvers

SAT Dependency Resolver

Universal dependency solving powered by Boolean Satisfiability (SAT)
Finds valid combinations when possible — proves impossibility when not.

Exact solutions • Mathematical guarantees • Optional AI explanations

What It Does

SAT Dependency Resolver turns any dependency problem into a Boolean satisfiability problem and uses a high-performance SAT solver to:

• Find one or more valid selections of options/versions/items
• Mathematically prove that no solution exists (and report why)
• Optionally generate human-readable suggestions to resolve conflicts using AI

It is not limited to software packages — it works wherever you have items with requirements/dependencies.

Key Capabilities

Capability	Description
Exact solving	Uses Glucose SAT solver — if a solution exists, it will be found
Conflict detection	Clear reporting of incompatibilities even without AI
AI conflict resolution	Optional integration with Anthropic Claude for plain-English fix suggestions
Universal domain	Software packages, courses, books, hardware, teams, recipes, scheduling, and more
Constraint support	any, >=, <=, >, <, ==, comma-separated ranges
Lightweight & fast	No heavy package manager logic — pure SAT encoding
REST API	Simple POST /resolve endpoint — easy to integrate

Domains & Use Cases

Category	Example Use Cases
Software	Python/pip, npm, Cargo, RubyGems, Go modules version resolution
Education	Course prerequisites, degree planning, certification paths
Media & Entertainment	Book series order, movie franchise watching sequence, game mod compatibility
Hardware	PC component compatibility, electronics part selection
Business & Teams	Required skills/roles for projects, team composition, resource allocation
Everyday Problems	Recipe ingredient requirements, event scheduling with attendee constraints

Features at a Glance

• SAT-based core — mathematical correctness, no heuristics
• Optional AI help — send use_ai: true + Anthropic key for smart suggestions
• Live demo — try it instantly at https://sat-dependency-resolver-ae207ddb503e.herokuapp.com
• Simple JSON format — easy to generate from any language/tool
• Open source — MIT licensed, easy to fork or embed

Links & Resources

GitHub Repository
github.com/Apollo87z/sat-dependency-resolver

Live API Endpoint
https://sat-dependency-resolver-ae207ddb503e.herokuapp.com

Full Documentation (GitBook)
shehans-organization.gitbook.io/sat-dependency-resolver-1/
Installation, API reference, detailed examples, and more

Made with SAT solvers + modern tech • Perfect answers when possible • Clear explanations when not

Want to learn how to use the API, run it locally, or see more examples?
→ Check out the complete GitBook documentation