simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-08 04:05:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail

Browse source
This commit is contained in:
Simon Cruanes 2021-09-26 23:56:40 -04:00
parent a22bfe06c1
commit 5bed2d1c5f
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/sat/Solver.ml
View file

@ -749,7 +749,7 @@ module Make(Plugin : PLUGIN)
n_decisions = Stat.mk_int stat "sat.n-decisions"; n_decisions = Stat.mk_int stat "sat.n-decisions";
n_propagations = Stat.mk_int stat "sat.n-propagations"; n_propagations = Stat.mk_int stat "sat.n-propagations";
n_restarts = Stat.mk_int stat "sat.n-restarts"; n_restarts = Stat.mk_int stat "sat.n-restarts";
n_minimized_away = Stat.mk_int stat "sat.n-confl-minimized-away"; n_minimized_away = Stat.mk_int stat "sat.n-confl-lits-minimized-away";
on_conflict = None; on_conflict = None;
on_decision= None; on_decision= None;