package touist
The solver for the Touist language
Install
Dune Dependency
Authors
Maintainers
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