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.