Twist your logic with TouIST. - Khaled Skander Ben Slimane; Alexis Comte; Olivier Gasquet; Abdelwahab Heba; Olivier Lezaud; Frederic Maris; Maël Valais (CoRR, 2015)