package cvc5

  1. Overview
  2. Docs
type result
val delete : result -> unit

Result instance destructor.

val equal : result -> result -> bool

Operator overloading for equality of two results.

val to_string : result -> string

Get the string representation of the result.

val is_sat : result -> bool

Determine if the result is SAT.

val is_unsat : result -> bool

Determine if the result is UNSAT.

val is_unknown : result -> bool

Determine if the result is UNKNOWN.

OCaml

Innovation. Community. Security.