touist / touist

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

https://www.irit.fr/touist

touist/touist Issues

Bug in prenex handling of Or.
Updated 3 years ago1
Latex.ast_fun unexpected behaviour
Updated 3 years ago1
Latex gets frozen on windows
Closed 5 years ago13
Pb with Java >9 on MAC OS
Closed 5 years ago3
In SMT mode, integers 0 and 1 are confused with True and False values
Closed 5 years ago1
Add remplacement into formulas
Closed 5 years ago4
UTF-8 characters in comments are introducing offset in the error-underlying
Closed 5 years ago2
Implement the two known optimizations of the Tseitin transform
Closed 5 years ago1
Warn the user when two variables conflict during the Prenex transformation (--qbf)
Closed 5 years ago1
'Solve' met au moins 10 secondes pour un tout petit problème
Closed 5 years ago2
Non prise en charge de HiDPI
Closed 5 years ago2
Newline/space is "always" a conjunction
Closed 5 years ago1
Remember window size, position and settings
Closed 5 years ago1
Set generation using python-like "list comprehensions"
Closed 6 years ago1
On some problem, --solve --sat will return SAT instead of UNSAT
Closed 7 years ago
Sometimes, pushing 'Solve' on a QBF file hangs indefinitely
Closed 7 years ago
Extremely slow latex preview scrolling (using the mouse wheel)
Closed 7 years ago
Différencier ctrl+s et maj+ctrl+s
Closed 7 years ago2
Turn union, inter, subset into infix operators
Closed 7 years ago
Vars indices '$var(1,2)' are not printed as indices in latex
Closed 7 years ago
Column number is wrong when error spans across multiple lines
Closed 7 years ago1
card() needs two closing parenthesis
Closed 7 years ago
Opérateur "in" pour prédicat sur les ensembles
Closed 7 years ago
création des opérateurs \subset, \subseteq et leurs frères \supset et \supseteq
Closed 7 years ago2
Cardinalité
Closed 7 years ago6
Développement d'un éditeur pour Touist (projet M1 info 2016-2017)
Closed 7 years ago
powerset : incomplet
Closed 7 years ago
Bug avec 'when $i == 3' alors que 'when 3 == $i' marche
Closed 7 years ago2
Problème d'import dans TouIST
Closed 8 years ago1
Problème avec ((p => q) and (q => r)) => r
Closed 8 years ago6
Bigand et diff ne marchent pas ensemble
Closed 8 years ago
Message faux sur erreur syntaxe des sets dans le bigand
Closed 8 years ago1
Possibilité d'écrire 'when $c != term' ?
Closed 8 years ago
Crash Touist lors de le la résolution.
Closed 8 years ago
Bug avec trois niveaux de bigand
Closed 8 years ago
Interface Graphique et retour à la ligne et Controles d'édition
Closed 7 years ago4
Où va-t-on mettre pddl4j ou comment va-ton l'importer ?
Closed 7 years ago1
Un site approprié pour communiquer sur l'application
Closed 7 years ago1
Afficher le nombre de modèles dans la fenêtre de résultats
Closed 7 years ago1
Permettre de générer SAT sans le mode DIMACS
Closed 7 years ago1
Colorer la parenthèse correspondante quand le curseur est dessus comme dans un IDE
Closed 8 years ago1
Pouvoir exporter tous les modèles d'un coup
Closed 8 years ago1
Sur linux, cliquer sur touist.jar met le working directory à $HOME
Closed 8 years ago1
Erreur d'affichage concernant le symbole d'inclusion ensembliste
Closed 8 years ago2
Implémenter le traducteur pddl
Closed 8 years ago1
Codage Graphe
Closed 8 years ago
Modification de l'interface pour l'intégration du plug-in PDDL
Closed 8 years ago1
Bug avec accents et espaces dans les noms de fichier (touistc sous windows)
Closed 8 years ago1
cahier de recette
Closed 8 years ago
Problème avec des chemins de fichiers avec accents ou espaces
Closed 8 years ago1