{"id":242463,"name":"toysolver","ecosystem":"hackage","description":"Toy-level solver implementation of various problems including SAT, SMT, Max-SAT, PBSPBO (Pseudo Boolean SatisfactionOptimization), MILP (Mixed Integer Linear Programming) and non-linear real arithmetic.","homepage":"https://github.com/msakai/toysolver/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/msakai/toysolver","keywords_array":["algorithms","bsd3","constraints","formal-methods","library","logic","optimisation","optimization","program","smt","theorem-provers","Propose Tags"],"namespace":null,"versions_count":17,"first_release_published_at":"2012-09-27T23:12:02.000Z","latest_release_published_at":"2026-07-20T23:56:56.000Z","latest_release_number":"0.10.0","last_synced_at":"2026-10-09T17:07:41.216Z","created_at":"2022-04-06T02:55:43.155Z","updated_at":"2026-10-09T21:20:47.807Z","registry_url":"https://hackage.haskell.org/package/toysolver","install_command":"cabal install toysolver","documentation_url":null,"metadata":{},"repo_metadata":{"id":1547026,"uuid":"1883312","full_name":"msakai/toysolver","owner":"msakai","description":"My sandbox for experimenting with solver algorithms.","archived":false,"fork":false,"pushed_at":"2026-08-09T06:22:03.000Z","size":8121,"stargazers_count":159,"open_issues_count":8,"forks_count":11,"subscribers_count":9,"default_branch":"master","last_synced_at":"2026-09-09T10:51:39.993Z","etag":null,"topics":["algorithms","mathematical-programming","sat-solver","smt-solver","theorem-prover"],"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/msakai.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.markdown","contributing":null,"funding":null,"license":"COPYING","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2011-06-12T02:38:42.000Z","updated_at":"2026-08-13T23:53:58.000Z","dependencies_parsed_at":"2025-04-16T04:36:15.644Z","dependency_job_id":"22882e08-5b0d-439b-b92e-e7b23da5d335","html_url":"https://github.com/msakai/toysolver","commit_stats":{"total_commits":2766,"total_committers":4,"mean_commits":691.5,"dds":"0.0010845986984815426","last_synced_commit":"79456f7ed77eaccdc7be7ff1bf08431b21d29e9c"},"previous_names":[],"tags_count":32,"template":false,"template_full_name":null,"purl":"pkg:github/msakai/toysolver","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/msakai","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":343680568,"owners_count":38146846,"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-09T02:00:07.585Z","response_time":55,"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":"msakai","name":"Masahiro Sakai","uuid":"157688","kind":"user","description":"Computer science researcher.\r\nInterests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.","email":"","website":"https://twitter.com/masahiro_sakai","location":"Kawasaki, Japan","twitter":null,"company":"Preferred Networks, Inc. (@pfnet)","icon_url":"https://avatars.githubusercontent.com/u/157688?v=4","repositories_count":67,"last_synced_at":"2023-03-11T13:00:45.558Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/msakai","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-02T23:25:35.799Z","updated_at":"2023-03-11T13:00:45.603Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/msakai","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/msakai/repositories"},"tags":[{"name":"test-release-20250520","sha":"a76c5cd55223321c1670bf9c3fb79e48f4043da3","kind":"commit","published_at":"2025-05-20T03:31:38.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/test-release-20250520","html_url":"https://github.com/msakai/toysolver/releases/tag/test-release-20250520","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@test-release-20250520","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-release-20250520","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-release-20250520/manifests"},{"name":"test-drop-win32","sha":"475c26f2fb2fc625649f2f370b50c3342c2d99ad","kind":"commit","published_at":"2025-02-25T14:41:16.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/test-drop-win32","html_url":"https://github.com/msakai/toysolver/releases/tag/test-drop-win32","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@test-drop-win32","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-drop-win32","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-drop-win32/manifests"},{"name":"v0.9.0","sha":"d360366b528f20a2d664ba3e52e7ff9febd3cf0f","kind":"commit","published_at":"2025-02-18T09:52:08.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.9.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.9.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.9.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.9.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.9.0/manifests"},{"name":"test-github-actions-use-gh","sha":"1c8ebc74aaf3e2594c49e7bc8393e5f60910b3da","kind":"commit","published_at":"2024-05-21T14:15:17.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/test-github-actions-use-gh","html_url":"https://github.com/msakai/toysolver/releases/tag/test-github-actions-use-gh","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@test-github-actions-use-gh","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-github-actions-use-gh","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-github-actions-use-gh/manifests"},{"name":"test-github-actions-fix-hub-tag","sha":"fd6c7aa10b039e8845e29d1346370cbc4ecffafc","kind":"commit","published_at":"2024-05-21T12:28:41.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/test-github-actions-fix-hub-tag","html_url":"https://github.com/msakai/toysolver/releases/tag/test-github-actions-fix-hub-tag","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@test-github-actions-fix-hub-tag","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-github-actions-fix-hub-tag","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-github-actions-fix-hub-tag/manifests"},{"name":"github-actions-restrict-triggers-test-tag","sha":"85df00490522b22e1c300e9062b1bc9f374355d0","kind":"commit","published_at":"2024-05-21T11:38:30.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/github-actions-restrict-triggers-test-tag","html_url":"https://github.com/msakai/toysolver/releases/tag/github-actions-restrict-triggers-test-tag","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@github-actions-restrict-triggers-test-tag","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/github-actions-restrict-triggers-test-tag","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/github-actions-restrict-triggers-test-tag/manifests"},{"name":"v0.8.1","sha":"eef80a8f60367216053cb49a72523834679460f1","kind":"commit","published_at":"2022-09-17T08:18:21.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.8.1","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.8.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.8.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.8.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.8.1/manifests"},{"name":"v0.8.0","sha":"9b0ffec7966817c110c7fe1740f7a5940f6eb90f","kind":"commit","published_at":"2022-07-26T14:59:16.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.8.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.8.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.8.0/manifests"},{"name":"v0.8.0-rc1","sha":"356b412ef5442d9d54e7535cb54642136e863eed","kind":"commit","published_at":"2022-07-26T13:45:24.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.8.0-rc1","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.8.0-rc1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.8.0-rc1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.8.0-rc1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.8.0-rc1/manifests"},{"name":"test-ghc-actions-release-test","sha":"0518410a750ad79d8fad3cae545327421cb64b22","kind":"commit","published_at":"2021-03-15T11:23:40.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/test-ghc-actions-release-test","html_url":"https://github.com/msakai/toysolver/releases/tag/test-ghc-actions-release-test","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@test-ghc-actions-release-test","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-ghc-actions-release-test","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/test-ghc-actions-release-test/manifests"},{"name":"v0.7.0","sha":"0938d3566220476064fefc7be619854c4bfc436a","kind":"commit","published_at":"2021-02-09T23:12:14.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.7.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.7.0/manifests"},{"name":"v0.6.0","sha":"29edbbf2d15f60068fade214a47ef2ae7199f762","kind":"commit","published_at":"2019-10-04T08:21:00.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.6.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.6.0/manifests"},{"name":"v0.5.0","sha":"6de3d789c0a26b533ef0ad7bee8443333f3aa74f","kind":"commit","published_at":"2017-10-09T08:18:31.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.5.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.5.0/manifests"},{"name":"PB16-20160502","sha":"2ff46ead3886063cec94df227757b24d279338c9","kind":"commit","published_at":"2016-05-02T00:56:19.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/PB16-20160502","html_url":"https://github.com/msakai/toysolver/releases/tag/PB16-20160502","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@PB16-20160502","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB16-20160502","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB16-20160502/manifests"},{"name":"v0.4.0","sha":"dfb507183589450f81503d63992741209bf89b50","kind":"commit","published_at":"2016-01-25T06:52:18.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.4.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.4.0/manifests"},{"name":"maxsat2015-20150805","sha":"06da1bcbf4d410df3ced220becfd661cb48f9e38","kind":"commit","published_at":"2015-08-05T12:42:35.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/maxsat2015-20150805","html_url":"https://github.com/msakai/toysolver/releases/tag/maxsat2015-20150805","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@maxsat2015-20150805","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2015-20150805","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2015-20150805/manifests"},{"name":"pb2015-20150725","sha":"1d07ff376ef69215b910a414372fffcea1b5aac9","kind":"commit","published_at":"2015-07-25T07:17:09.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/pb2015-20150725","html_url":"https://github.com/msakai/toysolver/releases/tag/pb2015-20150725","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@pb2015-20150725","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/pb2015-20150725","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/pb2015-20150725/manifests"},{"name":"pb2015-20150701","sha":"24b3b9e23175def537dc9209b8d7dc975c1367d2","kind":"commit","published_at":"2015-06-30T15:10:43.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/pb2015-20150701","html_url":"https://github.com/msakai/toysolver/releases/tag/pb2015-20150701","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@pb2015-20150701","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/pb2015-20150701","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/pb2015-20150701/manifests"},{"name":"maxsat2015-20150701","sha":"143d023e4d5bfe6fa82df1fb1777c28cc9473065","kind":"commit","published_at":"2015-06-30T14:57:28.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/maxsat2015-20150701","html_url":"https://github.com/msakai/toysolver/releases/tag/maxsat2015-20150701","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@maxsat2015-20150701","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2015-20150701","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2015-20150701/manifests"},{"name":"v0.3.0","sha":"02566168b5c847785a9880353f217b4288c1cc25","kind":"commit","published_at":"2015-05-31T03:31:54.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.3.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.3.0/manifests"},{"name":"v0.2.0","sha":"f58faf0b83fd67ddf00d2f7b6507a319dabc7cea","kind":"commit","published_at":"2015-01-06T14:25:11.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/v0.2.0","html_url":"https://github.com/msakai/toysolver/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/v0.2.0/manifests"},{"name":"maxsat2014-toysat-20140421","sha":"e0c530677665fdaa4f1691ae8550d0a3130efe49","kind":"tag","published_at":"2014-04-29T01:49:02.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/maxsat2014-toysat-20140421","html_url":"https://github.com/msakai/toysolver/releases/tag/maxsat2014-toysat-20140421","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@maxsat2014-toysat-20140421","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2014-toysat-20140421","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2014-toysat-20140421/manifests"},{"name":"maxsat2014-toysat-20140413","sha":"ffde23cc3dd160aba1efb5f9f9aa75b198b84c56","kind":"tag","published_at":"2014-04-13T13:18:59.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/maxsat2014-toysat-20140413","html_url":"https://github.com/msakai/toysolver/releases/tag/maxsat2014-toysat-20140413","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@maxsat2014-toysat-20140413","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2014-toysat-20140413","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2014-toysat-20140413/manifests"},{"name":"maxsat2014-toysat_ls-20140413","sha":"6ddf2f3353b95230f30fd9ffe8a4122ca30254a9","kind":"tag","published_at":"2014-04-13T12:13:08.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/maxsat2014-toysat_ls-20140413","html_url":"https://github.com/msakai/toysolver/releases/tag/maxsat2014-toysat_ls-20140413","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@maxsat2014-toysat_ls-20140413","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2014-toysat_ls-20140413","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/maxsat2014-toysat_ls-20140413/manifests"},{"name":"0.0.6","sha":"aabf94ced2c7acfd78b7c87c1500fd67ce71d8fa","kind":"commit","published_at":"2013-06-14T12:58:46.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/0.0.6","html_url":"https://github.com/msakai/toysolver/releases/tag/0.0.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@0.0.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.6/manifests"},{"name":"0.0.5","sha":"dbaa540f936974e331a37353da98f7978a216aab","kind":"commit","published_at":"2013-05-01T16:40:46.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/0.0.5","html_url":"https://github.com/msakai/toysolver/releases/tag/0.0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@0.0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.5/manifests"},{"name":"0.0.4","sha":"e3161810cdaf6961ec7f14e98f4400b87a96527c","kind":"commit","published_at":"2013-04-10T13:52:43.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/0.0.4","html_url":"https://github.com/msakai/toysolver/releases/tag/0.0.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@0.0.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.4/manifests"},{"name":"0.0.3","sha":"05bf34db0918fe139fe805346d9cddc66c5eb8c1","kind":"commit","published_at":"2013-01-08T15:58:24.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/0.0.3","html_url":"https://github.com/msakai/toysolver/releases/tag/0.0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@0.0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.3/manifests"},{"name":"0.0.2","sha":"100eadb19b4cf69cbc549875d9cc015048b98eec","kind":"commit","published_at":"2012-09-27T23:06:57.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/0.0.2","html_url":"https://github.com/msakai/toysolver/releases/tag/0.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@0.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/0.0.2/manifests"},{"name":"PB12-20120602","sha":"ad635ce76a3904278fe54d4082ca892ee93221af","kind":"tag","published_at":"2012-06-01T16:47:00.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/PB12-20120602","html_url":"https://github.com/msakai/toysolver/releases/tag/PB12-20120602","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@PB12-20120602","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB12-20120602","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB12-20120602/manifests"},{"name":"PB12-20120518","sha":"3c0950be71d081f855ddf1dd4ccefc35ad731859","kind":"tag","published_at":"2012-05-17T15:58:00.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/PB12-20120518","html_url":"https://github.com/msakai/toysolver/releases/tag/PB12-20120518","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@PB12-20120518","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB12-20120518","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB12-20120518/manifests"},{"name":"PB12","sha":"8d310e9ad64e8a829a3ae402cb09e2d07ff7b161","kind":"tag","published_at":"2012-04-21T01:03:19.000Z","download_url":"https://codeload.github.com/msakai/toysolver/tar.gz/PB12","html_url":"https://github.com/msakai/toysolver/releases/tag/PB12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/msakai/toysolver@PB12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/tags/PB12/manifests"}]},"repo_metadata_updated_at":"2026-10-09T21:20:47.807Z","dependent_packages_count":0,"downloads":16794,"downloads_period":"total","dependent_repos_count":2,"rankings":{"downloads":9.708957332579825,"dependent_repos_count":30.782706979372705,"dependent_packages_count":19.27098050296694,"stargazers_count":6.883300367335406,"forks_count":11.263068663464255,"docker_downloads_count":null,"average":15.581802769143826},"purl":"pkg:hackage/toysolver","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/toysolver","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/toysolver","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/toysolver/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":{"last_synced_at":"2026-10-09T17:07:45.759Z","issues_count":27,"pull_requests_count":261,"avg_time_to_close_issue":14581331.555555556,"avg_time_to_close_pull_request":1161713.3278688525,"issues_closed_count":18,"pull_requests_closed_count":244,"pull_request_authors_count":5,"issue_authors_count":14,"avg_comments_per_issue":1.6296296296296295,"avg_comments_per_pull_request":0.12260536398467432,"merged_pull_requests_count":240,"bot_issues_count":0,"bot_pull_requests_count":2,"past_year_issues_count":0,"past_year_pull_requests_count":14,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":893076.5,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":14,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":1.1428571428571428,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":13,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Ftoysolver/issues","maintainers":[{"login":"msakai","count":268,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/msakai"}],"active_maintainers":[{"login":"msakai","count":14,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/msakai"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/toysolver/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/toysolver/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/toysolver/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/toysolver/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/toysolver/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/toysolver/codemeta","maintainers":[{"uuid":"MasahiroSakai","login":"MasahiroSakai","name":null,"email":null,"url":null,"packages_count":24,"html_url":"https://hackage.haskell.org/user/MasahiroSakai","role":null,"created_at":"2022-11-14T20:09:59.262Z","updated_at":"2022-11-14T20:09:59.262Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/MasahiroSakai/packages"}]}