Utils (docs.other.smtml.Smtml.Utils)

val run_and_time_call : use:(float -> 'a) -> (unit -> 'b) -> 'b

val query_log_path : Fpath.t option

val protect : Smtml_prelude.Mutex.t -> (unit -> 'a) -> 'a

val write : 
  model:bool ->
  string ->
  Expr.t list ->
  int64 ->
  [ `Sat | `Unknown | `Unsat ] ->
  unit

val check_log_query : 
  (unit -> [ `Sat | `Unknown | `Unsat ]) ->
  string ->
  Expr.t list ->
  [ `Sat | `Unknown | `Unsat ]

val model_log_query : (unit -> 'a option) -> string -> Expr.t list -> 'a option