Up – Package index » touist » Library touist.yices2 » Touist_yices2

Module `Touist_yices2`Source

Sourcemodule SmtSolve : sig ... end

Requires yices2 Process an evaluated AST in order to solve it with Yices2.