:- include(library('clpqr-common/ops')).
:- use_module(library('clpr/clpr_rt')).
:- use_module(library('clpr/solver_r'),
        [solve_abs/2,solve_mix/4,solve_mult/3,solve_pow/3,solve_trig/3]).
:- load_compilation_module(library('clpr/clprtr')).
% :- add_term_trans(clprtr:translate_hash/2).
:- add_goal_trans(clprtr:translate_clp/2).
