Module `Libzipperposition.Signals`

Useful signals

val on_print_stats : unit Logtk.Signal.t: Called when/if it's time to print statistics

val on_before_process_file : string Logtk.Signal.t: Called before starting solving a problem

val on_exit : int Logtk.Signal.t: Called before exit

val on_dot_output : unit Logtk.Signal.t: Called when dot printers should activate