text: #ifndef _bump_h_INCLUDED
  #define _bump_h_INCLUDED
  
  struct kissat;
  
  void kissat_bump_variables (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 *);
  
  #define MAX_SCORE 1e150
  
  #endif
  