package cvc5

  1. Overview
  2. Docs

Module Cvc5.ResultSource

Sourcetype result
Sourceval delete : result -> unit
Sourceval equal : result -> result -> bool
Sourceval to_string : result -> string
Sourceval is_sat : result -> bool
Sourceval is_unsat : result -> bool
Sourceval is_unknown : result -> bool
OCaml

Innovation. Community. Security.