diff options
Diffstat (limited to 'src/sat/satoko/solver.h')
-rw-r--r-- | src/sat/satoko/solver.h | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/sat/satoko/solver.h b/src/sat/satoko/solver.h index fe1d1ef5..a46b0c9d 100644 --- a/src/sat/satoko/solver.h +++ b/src/sat/satoko/solver.h @@ -38,19 +38,6 @@ enum { #define UNDEF 0xFFFFFFFF -struct satoko_stats { - unsigned n_starts; - unsigned n_reduce_db; - - long n_decisions; - long n_propagations; - long n_inspects; - long n_conflicts; - - long n_original_lits; - long n_learnt_lits; -}; - typedef struct solver_t_ solver_t; struct solver_t_ { /* User data */ |