Module Z3.Log

module Log: sig .. end

Interaction logging for Z3 Note that this is a global, static log and if multiple Context objects are created, it logs the interaction with all of them.

val open_ : string -> bool

Open an interaction log file.

Returns True if opening the log file succeeds, false otherwise.

val close : unit -> unit

Closes the interaction log.

val append : string -> unit

Appends a user-provided string to the interaction log.