Touist Versions Save

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

v3.5.2

6 years ago

v3.5.1

6 years ago

v3.5.0

6 years ago

v3.4.4

6 years ago

v3.4.3

6 years ago

v3.4.2

6 years ago

v3.4.1

6 years ago

v3.4.0

6 years ago

v3.4.0-beta11

6 years ago

v3.4.0-beta11

  • command-line: in --sat mode, the new option --interactive will enable the display of one model at a time by pressing any key (q/n to stop).
  • command-line: it is now possible to output QDIMACS using --qbf

v3.4.0-beta10

6 years ago

v3.4.0-beta10

  • fixed a bug with --sat & --solve where touist was giving a model although the formula is UNSAT (it was caused by a misuse of minisat)