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.