Movatterモバイル変換

Showing 6 of 6 repositories

touist Public
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
touist/touist’s past year of commit activity
OCaml 64MIT 12 3 0 UpdatedJul 18, 2024
touist-vscode Public
An extension for VS Code which provides support for the TouIST language.
touist/touist-vscode’s past year of commit activity
TypeScript 20 0 1 UpdatedSep 3, 2021
homebrew-touist Public
🍺 Homebrew repo for the TouIST formula (and some solvers)
touist/homebrew-touist’s past year of commit activity
Ruby 3 1 0 1 UpdatedApr 12, 2021
touistplan Public
Translate PDDL planning problems to touist
touist/touistplan’s past year of commit activity
OCaml 20 0 0 UpdatedApr 17, 2019
touist.github.io Public
Webpage for TouIST (mirror:http://touist.github.io)
touist/touist.github.io’s past year of commit activity
HTML0 3 0 0 UpdatedMar 12, 2018
touist-vim Public
Vim syntax support for the TouIST language (highly experimental, proof of concept)
touist/touist-vim’s past year of commit activity
Vim Script00 0 0 UpdatedJul 22, 2017

Navigation Menu