libzipperposition

Library for Zipperposition
IN THIS PACKAGE

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