package syguslib-utils

  1. Overview
  2. Docs

Module type Solvers.LoggerSource

The Logger module must provide some basic logging functionality, including error, debug and verbose messages. One can also set log_queries to true with a file, which allows the solver to write queries to a separate file.

val error : (Format.formatter -> unit -> unit) -> unit
val debug : (Format.formatter -> unit -> unit) -> unit
val verb : (Format.formatter -> unit -> unit) -> unit
val log_file : string
val verbose : bool
val log_queries : bool