diff options
Diffstat (limited to 'src/sat/satoko/solver.c')
-rw-r--r-- | src/sat/satoko/solver.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c index b2861bad..8c06bbe8 100644 --- a/src/sat/satoko/solver.c +++ b/src/sat/satoko/solver.c @@ -325,14 +325,14 @@ static inline void solver_analyze(solver_t *s, unsigned cref, vec_uint_t *learnt static inline int solver_rst(solver_t *s) { return b_queue_is_valid(s->bq_lbd) && - (((long long)b_queue_avg(s->bq_lbd) * s->opts.f_rst) > (s->sum_lbd / s->stats.n_conflicts)); + (((long)b_queue_avg(s->bq_lbd) * s->opts.f_rst) > (s->sum_lbd / s->stats.n_conflicts)); } static inline int solver_block_rst(solver_t *s) { return s->stats.n_conflicts > s->opts.fst_block_rst && b_queue_is_valid(s->bq_lbd) && - (vec_uint_size(s->trail) > (s->opts.b_rst * (long long)b_queue_avg(s->bq_trail))); + ((long)vec_uint_size(s->trail) > (s->opts.b_rst * (long)b_queue_avg(s->bq_trail))); } static inline void solver_handle_conflict(solver_t *s, unsigned confl_cref) |