This is the complete list of members for satoko_opts, including all inherited members.

b_rst	satoko_opts
clause_decay	satoko_opts
clause_max_sz_bin_resol	satoko_opts
clause_min_lbd_bin_resol	satoko_opts
conf_limit	satoko_opts
f_rst	satoko_opts
fst_block_rst	satoko_opts
garbage_max_ratio	satoko_opts
inc_reduce	satoko_opts
inc_special_reduce	satoko_opts
lbd_freeze_clause	satoko_opts
learnt_ratio	satoko_opts
n_conf_fst_reduce	satoko_opts
no_simplify	satoko_opts
prop_limit	satoko_opts
sz_lbd_bqueue	satoko_opts
sz_trail_bqueue	satoko_opts
var_act_limit	satoko_opts
var_act_rescale	satoko_opts
var_decay	satoko_opts
verbose	satoko_opts