package touist

  1. Overview
  2. Docs
The solver for the Touist language

Install 

dune-project
 Dependency

www.irit.fr Readme Edit opam file Versions (5)

Authors

  1. M
    Maël Valais <mael.valais@gmail.com>
  2. O
    Olivier Lezaud

Maintainers

  1. M
    Maël Valais <mael.valais@gmail.com>

Sources

v3.5.0.tar.gz
sha256=859a4428ced26ed38615a606138c02ec63541cd34cf94a37b3e35d5bf46d40c4
md5=c09dd1cda8aff444889d1374636c810b

doc/src/touist.qbf/touist_qbf.ml-gen.html

Source file touist_qbf.ml-gen

1
2
(** @canonical Touist_qbf.QbfSolve *)
module QbfSolve = Touist_qbf__QbfSolve