{"id":16377909,"url":"https://github.com/sofianedjerbi/nonogramsolver","last_synced_at":"2025-10-26T10:30:41.559Z","repository":{"id":160709625,"uuid":"335020338","full_name":"sofianedjerbi/NonogramSolver","owner":"sofianedjerbi","description":"Solving Nonograms with SAT solvers","archived":false,"fork":false,"pushed_at":"2021-06-14T17:40:48.000Z","size":394,"stargazers_count":5,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-01-31T18:13:13.359Z","etag":null,"topics":["logic","nonogram","nonogram-solver","python","sat","sat-solver","solver"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sofianedjerbi.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}},"created_at":"2021-02-01T16:56:35.000Z","updated_at":"2024-01-12T13:38:03.000Z","dependencies_parsed_at":"2023-05-13T12:30:39.131Z","dependency_job_id":null,"html_url":"https://github.com/sofianedjerbi/NonogramSolver","commit_stats":null,"previous_names":["chaoxel/nonogramsolver","sofianedjerbi/nonogramsolver"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sofianedjerbi%2FNonogramSolver","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sofianedjerbi%2FNonogramSolver/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sofianedjerbi%2FNonogramSolver/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sofianedjerbi%2FNonogramSolver/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sofianedjerbi","download_url":"https://codeload.github.com/sofianedjerbi/NonogramSolver/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":238310164,"owners_count":19450802,"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":["logic","nonogram","nonogram-solver","python","sat","sat-solver","solver"],"created_at":"2024-10-11T03:44:13.128Z","updated_at":"2025-10-26T10:30:41.237Z","avatar_url":"https://github.com/sofianedjerbi.png","language":"Python","readme":"# Nonogram-Solver\n\u003cp float=\"center\" align=\"center\"\u003e\n  \u003cimg src=\"https://github.com/Kugge/Nonogram-Solver/blob/master/imgs/preview.png?raw=true\" width=\"250\" height=\"250\"/\u003e\n  \u003cimg src=\"https://github.com/Kugge/Nonogram-Solver/blob/master/imgs/preview2.png?raw=true\" width=\"250\" height=\"250\"/\u003e\n\u003c/p\u003e\n\nProjet Nonogram  \nPar Sofiane DJERBI \u0026amp; Salem HAFTARI\n## Lancer le programme\nProgramme non compatible avec python2.  \nInstallation des dépendances avec pip: `pip install -r requirements.txt`  \nLancement du programme: `python main.py` (+ `cd src/`)  \nPour utiliser le scrapper: `pip install requests-html`  \n(il est parfois nécéssaire de lancer le programme deux fois afin d'installer le chrome driver)\n\n## Conventions\n- Les commentaires sont en Français, le code en Anglais.\n- Paradigme de la programmation orientée objet.\n- Toute fonction doit être documentée.\n- Les conventions plus précises (par exemple, les conventions grapiques) sont dans le code source, au début de chaque fichier, en commentaire si besoin.\n## Resources\n- Librairie graphique `pygame`.\n- Librairie de serialisation `pickle`.\n- Librairie de requêtes html `requests-html`, facultative (1).\n## TODO\n- ~~Faire une librairie graphique~~ Fait\n- ~~Faire un outil permettant de convertir un nonogramme en données exploitables~~ Fait\n- ~~Modéliser un nonogramme en FNC~~ Fait\n- ~~Implémenter un solveur SAT~~ Fait\n- ~~Implémenter NOTRE solveur SAT~~ Fait\n## Infos supplémentaires\n(1) : On ne va pas obliger le jury à installer cette librairie trop lourde pour une fonctionnalité qui n'est pas censée être dans le projet. C'est pourquoi on proposera des nonogrammes déjà \"téléchargés\" sous forme de fichiers. Cependant, soyez libre d'installer requests-html et le driver chromium pour utiliser notre scraper.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsofianedjerbi%2Fnonogramsolver","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsofianedjerbi%2Fnonogramsolver","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsofianedjerbi%2Fnonogramsolver/lists"}