{"id":18949881,"url":"https://github.com/razvalex/sudokusat","last_synced_at":"2026-03-28T04:30:20.634Z","repository":{"id":115604524,"uuid":"117362558","full_name":"razvalex/SudokuSAT","owner":"razvalex","description":"Sudoku Solver using SAT Solver for Structural Complexity Course","archived":false,"fork":false,"pushed_at":"2018-01-27T11:40:25.000Z","size":19,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"master","last_synced_at":"2025-01-01T01:45:29.234Z","etag":null,"topics":["c-sharp","sat-solver","sudoku-solver"],"latest_commit_sha":null,"homepage":null,"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/razvalex.png","metadata":{"files":{"readme":"README.md","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}},"created_at":"2018-01-13T17:15:30.000Z","updated_at":"2020-01-23T12:54:15.000Z","dependencies_parsed_at":null,"dependency_job_id":"9dcbb28c-2c5c-4321-9a00-2e5a2e171337","html_url":"https://github.com/razvalex/SudokuSAT","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/razvalex%2FSudokuSAT","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/razvalex%2FSudokuSAT/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/razvalex%2FSudokuSAT/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/razvalex%2FSudokuSAT/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/razvalex","download_url":"https://codeload.github.com/razvalex/SudokuSAT/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":239946915,"owners_count":19723018,"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":["c-sharp","sat-solver","sudoku-solver"],"created_at":"2024-11-08T13:19:18.042Z","updated_at":"2026-03-28T04:30:20.598Z","avatar_url":"https://github.com/razvalex.png","language":"C#","funding_links":[],"categories":[],"sub_categories":[],"readme":"SudokuSAT\n=========\n\nSudoku Solver using SAT Solver for Structural Complexity Course.\n\nNormalize the input, assign sat structures for the current unknown variables.\n\u003cdiv\u003eX 2 X X X X X X X\u003c/div\u003e\n\u003cdiv\u003eX X X 6 X X X X 3\u003c/div\u003e\n\u003cdiv\u003eX 7 4 X 8 X X X X\u003c/div\u003e\n\u003cdiv\u003eX X X X X 3 X X 2\u003c/div\u003e\n\u003cdiv\u003eX 8 X X 4 X X 1 X\u003c/div\u003e\n\u003cdiv\u003e6 X X 5 X X X X X\u003c/div\u003e \n\u003cdiv\u003eX X X X 1 X 7 8 X\u003c/div\u003e\n\u003cdiv\u003e5 X X X X 9 X X X\u003c/div\u003e \n\u003cdiv\u003eX X X X X X X 4 X\u003c/div\u003e\n\nOutput will resolve (satisfy) the current sudoku matrix if formula is satisfiable.\n\u003cdiv\u003e[ 1 | 2 | 6 ][ 4 | 3 | 7 ][ 9 | 5 | 8 ]\u003c/div\u003e\n\u003cdiv\u003e[ 8 | 9 | 5 ][ 6 | 2 | 1 ][ 4 | 7 | 3 ]\u003c/div\u003e\n\u003cdiv\u003e[ 3 | 7 | 4 ][ 9 | 8 | 5 ][ 1 | 2 | 6 ]\u003c/div\u003e\n\u003cdiv\u003e[ 4 | 5 | 7 ][ 1 | 9 | 3 ][ 8 | 6 | 2 ]\u003c/div\u003e\n\u003cdiv\u003e[ 9 | 8 | 3 ][ 2 | 4 | 6 ][ 5 | 1 | 7 ]\u003c/div\u003e\n\u003cdiv\u003e[ 6 | 1 | 2 ][ 5 | 7 | 8 ][ 3 | 9 | 4 ]\u003c/div\u003e\n\u003cdiv\u003e[ 2 | 6 | 9 ][ 3 | 1 | 4 ][ 7 | 8 | 5 ]\u003c/div\u003e\n\u003cdiv\u003e[ 5 | 4 | 8 ][ 7 | 6 | 9 ][ 2 | 3 | 1 ]\u003c/div\u003e\n\u003cdiv\u003e[ 7 | 3 | 1 ][ 8 | 5 | 2 ][ 6 | 4 | 9 ]\u003c/div\u003e\n\n\n\n\u003cem\u003eInspired by RogerGuTeng's SudokuSolver written in Java \u0026 other solutions written in python.\u003c/em\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frazvalex%2Fsudokusat","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frazvalex%2Fsudokusat","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frazvalex%2Fsudokusat/lists"}