Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
pythondistributed-systemsalgorithmrest-apigraph-theorycnfsat-solverpython36flask-apipackage-managementdependency-resolutionboolean-satisfiabilitypysatuniversal-resolverconstraint-solvingbackend-engineeringclaude-apiai-integration
-
Updated
Jan 24, 2026 - Python