Panda (François Schwarzentruber)

Objectif

  • Un logiciel pour écrire des spécifications en logique propositionnelle et lancer un solveur SAT (résolution de Sudoku, de problèmes de planification, etc.).

Fonctionnalités

  • à compléter

Originalité

  • à compléter

Public

  • Le logiciel est utilisé à l'Université de Toulouse - Paul Sabatier en cours de logique en L1 et L2 (licence d'Informatique).

Évaluation

  • à compléter

Auteur(s)

  • Olivier Gasquet, François Schwarzentruber et Martin Strecker

Etat

  • à compléter

Licence

  • à compléter

Téléchargement et installation

  • à compléter

Publication

Vidéo(s), démo(s) …

  • à compléter