{"id":13409661,"url":"https://github.com/frett27/Ada-Sodoku","last_synced_at":"2025-03-14T15:30:23.358Z","repository":{"id":17508915,"uuid":"20296818","full_name":"frett27/Ada-Sodoku","owner":"frett27","description":"Small Library for Sodoku grid solving / finding","archived":false,"fork":false,"pushed_at":"2023-08-06T22:42:23.000Z","size":26,"stargazers_count":5,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2024-10-16T21:31:30.264Z","etag":null,"topics":["ada","ada-sodoku","bignumber","bruteforce","combinatory-library"],"latest_commit_sha":null,"homepage":null,"language":"Ada","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/frett27.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.TXT","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":"2014-05-29T14:39:26.000Z","updated_at":"2023-08-06T22:27:36.000Z","dependencies_parsed_at":"2024-05-02T23:03:18.315Z","dependency_job_id":"a728b519-d06b-4fd2-846a-424d9f7d7077","html_url":"https://github.com/frett27/Ada-Sodoku","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/frett27%2FAda-Sodoku","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/frett27%2FAda-Sodoku/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/frett27%2FAda-Sodoku/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/frett27%2FAda-Sodoku/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/frett27","download_url":"https://codeload.github.com/frett27/Ada-Sodoku/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243600434,"owners_count":20317275,"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":["ada","ada-sodoku","bignumber","bruteforce","combinatory-library"],"created_at":"2024-07-30T20:01:02.618Z","updated_at":"2025-03-14T15:30:23.039Z","avatar_url":"https://github.com/frett27.png","language":"Ada","funding_links":[],"categories":["Libraries"],"sub_categories":["Algorithms, Containers and Protocols"],"readme":"# Ada-Sodoku\n\nSmall Library for Sodoku grid solving / finding.\nThis don't use smart algorithm for sodoku finding, but lead to \"brut force\" combinatory evaluation of solutions, in an optimized way.\n\n## Implementation \n\nIn the implementation, we use two types : \n\na **Grille type** definition that handle the grid configuration, that mean an array of numbers, handling the number position in the grid.\n\n\n       type Grille is array (column,line) of Matrice;\n       pragma Pack(Grille);\n    \n    \nthe primitives available on this type are : \n\n       -- fonctions de manipulation d'une grille de sodoku\n       procedure Put(G : in out Grille; R : Ref ; N : Number);\n\n       function Get(G : in Grille; R : Ref) return Number;\n    \n\n\nIn searching solutions, this data structure is not optimized as there are impossible alternatives, so a **Search Type** is setted up for handling impossible combinaison.\n\nin the **Search type** we store the the combination alternatives for speed up the search :\n    \n    \n       type Search is record\n\t      G : Grille;\n\t      P : Grille_Possibilite;\n       end record;\n        \n       type Grille_Possibilite is\n     \t\tarray (column, line) of Matrice_Possibilite;\n       pragma Pack(Grille_Possibilite);\n    \n    \n\n\n\nExtra primitives are setted up on this type, for handling possible moves :\n\n\n       -- liste des possibilités pour une case dans la grille\n       type Possibilite is array (1 .. Number'Last) of Boolean;\n       pragma Pack(Possibilite);\n    \n       --\n       -- Liste les possibilités pour une case de la grille ...\n       --\n       function List_Possibilite (S : in Search;\n      R :Ref) return Possibilite;\n    \n       -- Compte le nombre de possibilités pour une case ..\n       function Count_Possibilite (S : in Search;\n       R :Ref) return Natural;\n    \n    \nConversions can be done between thoses 2 types thanks to :\n\n       -- converti une grille de sodoku en grille de recherche\n       function To_Search(G : in Grille) return Search;\n    \n\n## Combinatory library\n\nfor evaluating the whole solutions, a custom combinatory library has been setted up for handling large binary numbers and be able to iterate about thoses large numbers.\n\n\n## Next\n\nThis library has been used for searching a brand large number of grids, but could be interesting to be distributed among a large number of computers, using the distributed annexes. :-)\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffrett27%2FAda-Sodoku","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffrett27%2FAda-Sodoku","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffrett27%2FAda-Sodoku/lists"}