{"id":208269,"name":"minisat-solver","ecosystem":"hackage","description":"","homepage":"http://www.mathstat.dal.ca/~selinger/minisat-solver/","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":null,"keywords_array":["library","logic","mit","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2016-10-24T19:15:28.000Z","latest_release_published_at":"2016-10-24T19:15:28.000Z","latest_release_number":"0.1","last_synced_at":"2026-09-10T16:37:36.578Z","created_at":"2022-04-05T22:49:42.315Z","updated_at":"2026-09-15T23:37:19.013Z","registry_url":"https://hackage.haskell.org/package/minisat-solver","install_command":"cabal install minisat-solver","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-09-15T23:37:19.012Z","dependent_packages_count":0,"downloads":1747,"downloads_period":"total","dependent_repos_count":2,"rankings":{"downloads":66.13638955411108,"dependent_repos_count":31.029763941156347,"dependent_packages_count":19.095677956437452,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":38.75394381723496},"purl":"pkg:hackage/minisat-solver","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/minisat-solver","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/minisat-solver","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/minisat-solver/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/minisat-solver/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/minisat-solver/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/minisat-solver/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/minisat-solver/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/minisat-solver/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/minisat-solver/codemeta","maintainers":[{"uuid":"PeterSelinger","login":"PeterSelinger","name":null,"email":null,"url":null,"packages_count":17,"html_url":"https://hackage.haskell.org/user/PeterSelinger","role":null,"created_at":"2022-11-14T18:56:47.403Z","updated_at":"2022-11-14T18:56:47.403Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/PeterSelinger/packages"}]}