package yices2

  1. Overview
  2. Docs

Check parameters

val create : unit -> params

Create a record of parameters

val set : params -> string -> string -> unit

Set a parameter