Skip to content
@touist

TouIST

Pinned Loading

  1. touist 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)

    touist/touist’s past year of commit activity
    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.

    touist/touist-vscode’s past year of commit activity
    TypeScript 2 0 0 1 Updated Sep 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 Updated Apr 12, 2021
  • touistplan Public

    Translate PDDL planning problems to touist

    touist/touistplan’s past year of commit activity
    OCaml 2 0 0 0 Updated Apr 17, 2019
  • touist.github.io Public

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

    touist/touist.github.io’s past year of commit activity
    HTML 0 3 0 0 Updated Mar 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 Script 0 0 0 0 Updated Jul 22, 2017

Most used topics

Loading…