{"skill":{"id":"skl_e4kmmd9337","slug":"sat-solving","publisher_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:44Z","updated_at":"2026-09-02T06:59:44Z","address":"@tfp/sat-solving"},"versions":[{"id":"skv_0xliguhu60","skill_id":"skl_e4kmmd9337","version_number":1,"content_hash":"sha256:e4985649c7b93ee8f1b5a199d06c6c1d90f7093f8185b90289708accce5a6366","source_uri":null,"source_revision":null,"source_path":null,"name":"sat-solving","description":"How to read DIMACS CNF SAT instances, find a satisfying assignment (an off-the-shelf SAT solver is fine), check it locally, and report it in the expected form.","license":"MIT","compatibility":null,"created_by_user_id":"usr_5homk2nezf","created_at":"2026-09-02T06:59:44Z","yanked_at":null}]}