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

• Olivier Gasquet, François Schwarzentruber, Martin Strecker. Satoulouse: the computational power of propositional logic shown to beginners (regular paper). Dans : Third International Congress on Tools for Teaching Logic, Salamanca (Spain), 01/06/2011-04/06/2011, Springer,, 2011.
  BibTeX