#ifndef _mab_dc_h_INCLUDED
#define _mab_dc_h_INCLUDED

struct kissat;

void kissat_mab_dc_init (struct kissat *);
void kissat_bump_chb (struct kissat *, unsigned idx, double multiplier);
void kissat_decay_chb (struct kissat *);
void kissat_update_conflicted_chb (struct kissat *);
void kissat_restart_mab (struct kissat *);

#endif
