https://github.com/sofianedjerbi/nonogramsolver

Solving Nonograms with SAT solvers
https://github.com/sofianedjerbi/nonogramsolver

logic nonogram nonogram-solver python sat sat-solver solver

Last synced: 2 months ago
JSON representation

Solving Nonograms with SAT solvers

• Host: GitHub
• URL: https://github.com/sofianedjerbi/nonogramsolver
• Owner: sofianedjerbi
• License: gpl-3.0
• Created: 2021-02-01T16:56:35.000Z (almost 4 years ago)
• Default Branch: master
• Last Pushed: 2021-06-14T17:40:48.000Z (over 3 years ago)
• Last Synced: 2024-04-05T16:30:04.657Z (9 months ago)
• Topics: logic, nonogram, nonogram-solver, python, sat, sat-solver, solver
• Language: Python
• Homepage:
• Size: 385 KB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Nonogram-Solver



  

  



Projet Nonogram  

Par Sofiane DJERBI & Salem HAFTARI

## Lancer le programme

Programme non compatible avec python2.  

Installation des dépendances avec pip: `pip install -r requirements.txt`  

Lancement du programme: `python main.py` (+ `cd src/`)  

Pour utiliser le scrapper: `pip install requests-html`  

(il est parfois nécéssaire de lancer le programme deux fois afin d'installer le chrome driver)

## Conventions

- Les commentaires sont en Français, le code en Anglais.

- Paradigme de la programmation orientée objet.

- Toute fonction doit être documentée.

- 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.

## Resources

- Librairie graphique `pygame`.

- Librairie de serialisation `pickle`.

- Librairie de requêtes html `requests-html`, facultative (1).

## TODO

- ~~Faire une librairie graphique~~ Fait

- ~~Faire un outil permettant de convertir un nonogramme en données exploitables~~ Fait

- ~~Modéliser un nonogramme en FNC~~ Fait

- ~~Implémenter un solveur SAT~~ Fait

- ~~Implémenter NOTRE solveur SAT~~ Fait

## Infos supplémentaires

(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.