SAToulouse

Download / Télécharger
(puis lancer le fichier satoulouse.jar)
Introduce the satisfiability problem with a user-friendly tool
Show that the satisfiability problem of propositional formulas solves TRUE problems: sudoku, planification, etc.
Introduire la satisfiabilité d'une formule via un outil convivial
Montrer que le problème de satisfiabilité de formules propositionnelles résout de VRAIES problèmes : sudoku, planification, etc.

SAToulouse est utilisée dans le cours d'introduction à la logique au niveau L2 à l'Université Paul Sabatier à Toulouse.


Help / Aide
Download sources / Télécharger le logiciel et les sources
Download slides of a presentation in Rennes / Télécharger les transparents de la présentation à Rennes