mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

update ml api

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-01-31 19:19:41 -08:00
parent 9a94a9aa6f
commit 1289937d1a
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/ml/z3.mli
View file

@ -3112,9 +3112,6 @@ sig
(** Retrieves parameter descriptions for Simplifiers. *)
val get_param_descrs : simplifier -> Params.ParamDescrs.param_descrs
(** Apply the simplifier to the goal. *)
val apply : simplifier -> Goal.goal -> Params.params option -> ApplyResult.apply_result
(** The number of supported simplifiers. *)
val get_num_simplifiers : context -> int