package universo

  1. Overview
  2. Docs
module type Z3LOGIC = Utils.LOGIC with type t = Z3.Expr.expr and type smt_model = Z3.Model.model and type ctx = Z3.context
module Syn : Z3LOGIC
OCaml

Innovation. Community. Security.