Fiche Logiciel - TouIST
TouIST
MIT
Un langage convivial pour la logique propositionnelle et plus. ToulST permet d'encoder tout problème formulé en logique propositionnelle (avec des variantes comme QBF ou en ajoutant des contraintes entières ou flottantes) à l'aide d'un langage puissant intégrant des connecteurs permettant la quantification sur des ensembles finis.
Java
OCalm
Discipline(s):
Non renseigné
Domaine(s) d'application:
Non renseigné
Mot(s)-clé(s):
Non renseigné
Aucun développeur associé.
Contact :
Contact non renseingé
Aucun laboratoire associé.
Bibtex
Non renseigné.