package universo

  1. Overview
  2. Docs

Module Solving.Z3cfgSource

Sourcemodule type Z3LOGIC = Utils.LOGIC with type t = Z3.Expr.expr and type smt_model = Z3.Model.model and type ctx = Z3.context
OCaml

Innovation. Community. Security.