Skip to content
@touist

TouIST

Pinned Loading

  1. touist Public

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

    OCaml 64 12

Repositories

Showing 6 of 6 repositories
  • touist Public

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

    OCaml 64 MIT 12 3 0 Updated Jul 18, 2024
  • touist-vscode Public

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

    TypeScript 2 0 0 1 Updated Sep 3, 2021
  • homebrew-touist Public

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

    Ruby 3 1 0 1 Updated Apr 12, 2021
  • touistplan Public

    Translate PDDL planning problems to touist

    OCaml 2 0 0 0 Updated Apr 17, 2019
  • touist.github.io Public

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

    HTML 0 3 0 0 Updated Mar 12, 2018
  • touist-vim Public

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

    Vim Script 0 0 0 0 Updated Jul 22, 2017

Top languages

Loading…

Most used topics

touist ocaml