TouIST

Repositories

• homebrew-touist

  🍺 Homebrew repo for the TouIST formula (and some solvers)

  homebrew-tap homebrew
  Ruby 1 3 0 1 Updated Apr 12, 2021

• touist

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

  education research problem-solving minisat yices sat smt-lib
  OCaml MIT 11 57 2 0 Updated Jan 12, 2021

• touistplan

  Translate PDDL planning problems to touist

  touist ocaml ocamllex pddl
  OCaml 0 0 0 0 Updated Apr 17, 2019

• touist-vscode

  An extension for VS Code which provides support for the TouIST language.

  vscode-extension touist tmlanguage
  TypeScript 0 2 0 0 Updated Jan 2, 2019

• touist.github.io

  Webpage for TouIST (mirror: http://touist.github.io)

  touist
  HTML 3 0 0 0 Updated Mar 12, 2018

• touist-vim

  Vim syntax support for the TouIST language (highly experimental, proof of concept)

  touist vim
  Vim script 0 0 0 0 Updated Jul 22, 2017