Giters
TouIST (touist)

TouIST

touist

Geek Repo

Home Page:https://www.irit.fr/touist

Github PK Tool:Github PK Tool

TouIST's repositories

touist

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

Language:OCamlLicense:MITStargazers:65Issues:9Issues:146

homebrew-touist

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

Language:RubyStargazers:3Issues:4Issues:0

touist-vscode

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

Language:TypeScriptStargazers:2Issues:2Issues:0

touistplan

Translate PDDL planning problems to touist

Language:OCamlStargazers:2Issues:1Issues:0

touist-vim

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

Language:Vim ScriptStargazers:0Issues:2Issues:0

touist.github.io

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

Language:HTMLStargazers:0Issues:5Issues:3