package touist

  1. Overview
  2. Docs
module SmtSolve : sig ... end

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

OCaml

Innovation. Community. Security.