{"id":50948123,"url":"https://github.com/poyea/whetstone","last_synced_at":"2026-06-17T22:31:00.729Z","repository":{"id":345436491,"uuid":"1151837843","full_name":"poyea/whetstone","owner":"poyea","description":"A CDCL SAT solver in C++23","archived":false,"fork":false,"pushed_at":"2026-04-12T23:56:09.000Z","size":61,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-04-13T01:22:21.946Z","etag":null,"topics":["cdcl","cdcl-algorithm","cdcl-solver","cpp","cpp17","cpp20","cpp23","sat-solver"],"latest_commit_sha":null,"homepage":"","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/poyea.png","metadata":{"files":{"readme":"README.txt","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","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":"2026-02-07T00:52:58.000Z","updated_at":"2026-04-12T23:56:27.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/poyea/whetstone","commit_stats":null,"previous_names":["poyea/whetstone"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/poyea/whetstone","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/poyea%2Fwhetstone","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/poyea%2Fwhetstone/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/poyea%2Fwhetstone/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/poyea%2Fwhetstone/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/poyea","download_url":"https://codeload.github.com/poyea/whetstone/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/poyea%2Fwhetstone/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":34468766,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-06-17T02:00:05.408Z","response_time":127,"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"}},"keywords":["cdcl","cdcl-algorithm","cdcl-solver","cpp","cpp17","cpp20","cpp23","sat-solver"],"created_at":"2026-06-17T22:30:57.391Z","updated_at":"2026-06-17T22:31:00.724Z","avatar_url":"https://github.com/poyea.png","language":"C++","funding_links":[],"categories":[],"sub_categories":[],"readme":"benchmark                                 answer     time    confl      dec       prop    rst\n---------------------------------------------------------------------------------------------\ncolor-v10-e15-k3.cnf                         SAT   0.001s        0        4         30      1\nphp-10-9.cnf                                  TO    30.0s\nphp-6-5.cnf                                UNSAT   0.005s      139      163       1.6K      1\nphp-7-6.cnf                                UNSAT   0.007s      856     1.0K      11.6K      1\nphp-8-7.cnf                                UNSAT   0.073s    11.2K    14.3K     135.8K    131\nphp-9-8.cnf                                UNSAT   1.561s   289.8K   430.5K       4.2M   4856\nqueens-10.cnf                                SAT   0.003s       37       52        761      1\nqueens-12.cnf                                SAT   0.004s       67       89       1.4K      1\nqueens-8.cnf                                 SAT   0.003s        8       12        190      1\nrandom-3sat-sat-100.cnf                      SAT   0.001s        2       54        171      1\nrandom-3sat-sat-200.cnf                      SAT   0.002s       41      113       1.5K      1\nrandom-3sat-sat-50.cnf                       SAT   0.001s        9       28        188      1\nrandom-3sat-thresh-100.cnf                   SAT   0.002s       18       46        394      1\nrandom-3sat-thresh-150.cnf                 UNSAT   0.022s     3.0K     3.4K      92.6K      1\nrandom-3sat-thresh-200.cnf                   SAT   0.132s    17.4K    23.2K     693.6K    261\nrandom-3sat-thresh-50.cnf                    SAT   0.002s       41       62        656      1\n---------------------------------------------------------------------------------------------\nsolved: 15/16  total time: 1.819s\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpoyea%2Fwhetstone","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpoyea%2Fwhetstone","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpoyea%2Fwhetstone/lists"}