package touist

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

The solver for the Touist language

Install

Dune Dependency

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

Authors

M

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

Olivier Lezaud

Maintainers

M

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

Sources

v3.5.0.tar.gz

sha256=859a4428ced26ed38615a606138c02ec63541cd34cf94a37b3e35d5bf46d40c4

md5=c09dd1cda8aff444889d1374636c810b

doc/src/touist.yices2/smtSolve.ml.html

Source file `smtSolve.ml`

1
2
3
4
5
6
7
8
# 1 "src/lib/yices2/smtSolveDummy.ml"
(** {b Requires [yices2]} Process an evaluated AST in order to solve
    it with Yices2. *)

let ast_to_yices _ = failwith "Yices2 not available, recompile with Yices2"
let string_of_model ?value_sep _ _ = failwith "Yices2 not available, recompile with Yices2"
let solve _ _ = failwith "Yices2 not available, recompile with Yices2"
let logic_supported _ = failwith "Yices2 not available, recompile with Yices2"
let enabled = false