Fork me on GitHub
logo_touist

TouIST

A friendly language for propositional logic and more

Reference manual (html) Reference manual (pdf)
Changelog Revisions of the manual


Beyond the Boolean connectives of propositional logic, the input language of TouIST allows sets, conjunctions and disjunctions parametrised by sets, abbreviations...

screen1

We can for example conveniently express and solve problems such as "Wolf, Sheep, Cabbage", or the sudoku.

The team behind TouIST consists of Frédéric Maris (Associate Professor), Olivier Gasquet (Full Professor), Dominique Longin (Research Scientist) and Maël Valais (PhD student) at the Institut de Recherche en Informatique de Toulouse (IRIT). It is a "second" or "new" version of a previous program, SAToulouse. TouIST is now actively developed in context of Maël Valais' PhD thesis.

Also, feel free to come to our Gitter chatroom for any request, bug or remarks!

Licence

Contribute

Contributors

This software is licensed under the MIT License
This project is open-source. You are welcome to contribute to the project on Github. For more information, you can read the contribution guide.