Module Solver.Dummy

val visit_formula : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t list -> unit
val iter_free_variables : (string -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> unit) -> unit
val iter_free_arrays : (string -> [ `Symbol ] Binsec_symbolic__Default__.Types.Memory.node -> unit) -> unit
val assert_formula : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> unit
val assert_distinct : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> unit
val check_sat : ?timeout:float -> unit -> status
val check_sat_assuming : ?timeout:float -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> status
val get_value : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> Z.t
val fold_array_values : (Z.t -> Z.t -> 'a -> 'a) -> [ `Symbol ] Binsec_symbolic__Default__.Types.Memory.node -> 'a -> 'a
val push : unit -> unit
val pop : unit -> unit
val close : unit -> unit