{"id":20367528,"url":"https://github.com/regb/cafedoku","last_synced_at":"2025-10-26T12:13:49.353Z","repository":{"id":24371791,"uuid":"27771103","full_name":"regb/cafedoku","owner":"regb","description":"Sudoku solver based on the CafeSat solver","archived":false,"fork":false,"pushed_at":"2015-06-26T09:32:08.000Z","size":152,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-01-15T05:44:41.105Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Scala","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/regb.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2014-12-09T14:46:36.000Z","updated_at":"2022-01-17T14:13:35.000Z","dependencies_parsed_at":"2022-08-22T07:30:22.165Z","dependency_job_id":null,"html_url":"https://github.com/regb/cafedoku","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/regb%2Fcafedoku","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/regb%2Fcafedoku/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/regb%2Fcafedoku/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/regb%2Fcafedoku/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/regb","download_url":"https://codeload.github.com/regb/cafedoku/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241909092,"owners_count":20040746,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":[],"created_at":"2024-11-15T00:32:59.051Z","updated_at":"2025-10-26T12:13:44.296Z","avatar_url":"https://github.com/regb.png","language":"Scala","funding_links":[],"categories":[],"sub_categories":[],"readme":"Cafedoku\n========\n\nCafedoku is a [sudoku](http://en.wikipedia.org/wiki/Sudoku) solver written in\nScala and based on the [CafeSat](https://github.com/regb/scabolic) SAT solver.\n\nCafeDoku is a very simple project, with limited ambitions, mostly to experiment\nwith CafeSat as a Scala library.\n\nThe core solving part is in [`Solver`](/src/main/scala/cafedoku/Solver.scala) and\nconsists of about 10 lines of code. It illustrates how to elegantly solve sudoku\nproblems by encoding to SAT and how to use CafeSat to solve the SAT instance.\n\nUsage\n-----\n\nYou can build Cafedoku using `sbt`:\n\n    sbt cafedoku\n\nsbt will then generate a `target/cafedoku` script that you can use to run Cafedoku in\ncommand line mode:\n\n    ./target/cafedoku INPUT\n\n`INPUT` is a data file representing a sudoku problem. You can find examples\nin the `examples/` directory. Try:\n\n    ./target/cafedoku examples/sudoku1.dat\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fregb%2Fcafedoku","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fregb%2Fcafedoku","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fregb%2Fcafedoku/lists"}