mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-04 15:03:57 +00:00
Code Activity

merge

Browse source
This commit is contained in:
Ilana Shapiro 2025-09-02 19:29:47 -07:00
commit 254416c4a0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt_parallel.h
View file

@ -192,7 +192,7 @@ namespace smt {
expr_ref_vector get_backbones_from_candidates(expr_ref_vector const& candidates);
double naive_hardness();
double explicit_hardness(expr_ref_vector const& cube, unsigned initial_scope_lvl);
double explicit_hardness(expr_ref_vector const& cube);
double heule_schur_hardness(expr_ref_vector const& cube);
double march_cu_hardness(expr_ref_vector const& cube);
public: