{"id":183754,"name":"funsat","ecosystem":"hackage","description":"Funsat is a native Haskell SAT solver that uses modern techniques for\nsolving SAT instances.  Current features include two-watched literals,\nconflict-directed learning, non-chronological backtracking, a VSIDS-like\ndynamic variable ordering, and restarts.  Our goal is to facilitate\nconvenient embedding of a reasonably fast SAT solver as a constraint\nsolving backend in other applications.\nCurrently along this theme we provide unsatisfiable core generation (see\nFunsat.Resolution) and a logical circuit interface (see Funsat.Circuit).\nNew in 0.6.2: works with ghc-6.12 and fixed some space leaks. =/","homepage":"http://github.com/dbueno/funsat","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/dbueno/funsat","keywords_array":["algorithms","bsd3","library","program","Propose Tags"],"namespace":null,"versions_count":7,"first_release_published_at":"2008-06-06T14:45:44.000Z","latest_release_published_at":"2011-02-27T01:35:19.000Z","latest_release_number":"0.6.2","latest_published_release_number":null,"last_synced_at":"2026-10-18T10:22:13.587Z","created_at":"2022-04-05T20:03:44.453Z","updated_at":"2026-10-18T10:22:27.721Z","registry_url":"https://hackage.haskell.org/package/funsat","install_command":"cabal install funsat","documentation_url":null,"metadata":{},"repo_metadata":{"id":432754,"uuid":"53393","full_name":"dbueno/funsat","owner":"dbueno","description":"An efficient, embeddable DPLL SAT solver in Haskell","archived":false,"fork":false,"pushed_at":"2026-04-25T18:10:44.000Z","size":6705,"stargazers_count":36,"open_issues_count":1,"forks_count":7,"subscribers_count":6,"default_branch":"main","last_synced_at":"2026-09-20T18:52:16.888Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dbueno.png","metadata":{"files":{"readme":"README","changelog":"CHANGES","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2008-09-17T03:03:26.000Z","updated_at":"2026-07-30T00:29:06.000Z","dependencies_parsed_at":"2022-07-16T14:18:03.065Z","dependency_job_id":null,"html_url":"https://github.com/dbueno/funsat","commit_stats":null,"previous_names":[],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/dbueno/funsat","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dbueno","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":344872684,"owners_count":38337047,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-10-03T21:59:58.778Z","status":"online","status_checked_at":"2026-10-18T02:00:06.448Z","response_time":63,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"dbueno","name":"bueno","uuid":"24254","kind":"user","description":"phd cs, staff @ sandia","email":"","website":"https://denisbueno.net","location":null,"twitter":"codebueno","company":null,"icon_url":"https://avatars.githubusercontent.com/u/24254?v=4","repositories_count":37,"last_synced_at":"2023-04-11T21:51:41.779Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/dbueno","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-02T17:18:46.365Z","updated_at":"2023-04-11T21:51:41.907Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dbueno","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dbueno/repositories"},"tags":[{"name":"funsat-0.6.2","sha":"ad9d88cf1da14fe5374b75fc374ef5252f99f33a","kind":"commit","published_at":"2011-02-27T01:40:05.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/funsat-0.6.2","html_url":"https://github.com/dbueno/funsat/releases/tag/funsat-0.6.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@funsat-0.6.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.6.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.6.2/manifests"},{"name":"bitset-1.1","sha":"e28f5fc882af98b2b8a394ba6b53bcb7b6b236a5","kind":"commit","published_at":"2011-02-27T01:34:28.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/bitset-1.1","html_url":"https://github.com/dbueno/funsat/releases/tag/bitset-1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@bitset-1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/bitset-1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/bitset-1.1/manifests"},{"name":"funsat-0.6","sha":"f49ea512e19df039022178f479bb4caff51d8465","kind":"commit","published_at":"2009-04-17T22:47:27.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/funsat-0.6","html_url":"https://github.com/dbueno/funsat/releases/tag/funsat-0.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@funsat-0.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.6/manifests"},{"name":"funsat-0.5.2","sha":"ff92c20d3486ffc0aace58729f3b7b3a92d1f881","kind":"commit","published_at":"2009-02-18T14:04:10.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/funsat-0.5.2","html_url":"https://github.com/dbueno/funsat/releases/tag/funsat-0.5.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@funsat-0.5.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.5.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.5.2/manifests"},{"name":"bitset-1.0","sha":"40fbe84d1a89b87c097c4df511e825a417b44232","kind":"commit","published_at":"2009-02-03T13:28:46.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/bitset-1.0","html_url":"https://github.com/dbueno/funsat/releases/tag/bitset-1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@bitset-1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/bitset-1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/bitset-1.0/manifests"},{"name":"funsat-0.5.1","sha":"feb5c1c06cc62bbcc04818fdff1692e913d7c7e1","kind":"commit","published_at":"2008-10-18T20:36:15.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/funsat-0.5.1","html_url":"https://github.com/dbueno/funsat/releases/tag/funsat-0.5.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@funsat-0.5.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.5.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.5.1/manifests"},{"name":"funsat-0.5","sha":"7f9b82fd513af6d4b50d816105de836d10a12bdd","kind":"tag","published_at":"2008-06-13T20:52:39.000Z","download_url":"https://codeload.github.com/dbueno/funsat/tar.gz/funsat-0.5","html_url":"https://github.com/dbueno/funsat/releases/tag/funsat-0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/dbueno/funsat@funsat-0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/tags/funsat-0.5/manifests"}]},"repo_metadata_updated_at":"2026-10-18T10:22:27.721Z","dependent_packages_count":0,"downloads":6066,"downloads_period":"total","dependent_repos_count":2,"rankings":{"downloads":24.55291035425447,"dependent_repos_count":31.011504727189887,"dependent_packages_count":19.257276300051263,"stargazers_count":13.213350039867866,"forks_count":13.042487754869574,"docker_downloads_count":null,"average":20.21550583524661},"purl":"pkg:hackage/funsat","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/funsat","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/funsat","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/funsat/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-09-20T18:30:22.998Z","issues_count":4,"pull_requests_count":0,"avg_time_to_close_issue":421.0,"avg_time_to_close_pull_request":null,"issues_closed_count":1,"pull_requests_closed_count":0,"pull_request_authors_count":0,"issue_authors_count":4,"avg_comments_per_issue":2.0,"avg_comments_per_pull_request":null,"merged_pull_requests_count":0,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dbueno%2Ffunsat/issues","maintainers":[],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/funsat/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/funsat/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/funsat/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/funsat/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/funsat/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/funsat/codemeta","maintainers":[{"uuid":"DenisBueno","login":"DenisBueno","name":null,"email":null,"url":null,"packages_count":4,"html_url":"https://hackage.haskell.org/user/DenisBueno","role":null,"created_at":"2022-11-14T17:47:17.803Z","updated_at":"2022-11-14T17:47:17.803Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/DenisBueno/packages"}]}