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.yices2/touist_yices2.ml-gen.html
Source file touist_yices2.ml-gen
1 2(** @canonical Touist_yices2.SmtSolve *) module SmtSolve = Touist_yices2__SmtSolve