:- ensure_loaded(fd_solver).
%:- ensure_loaded(r_solver).