package syguslib-utils

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Solvers.EmptyLog`Source

An empty logger that ignores messages, and can be used to construct a solver if no logging is desired.

Sourceval error : (Format.formatter -> unit -> unit) -> unit

Sourceval debug : (Format.formatter -> unit -> unit) -> unit

Sourceval verb : (Format.formatter -> unit -> unit) -> unit

Sourceval log_file : string

Sourceval verbose : bool

Sourceval log_queries : bool