1:- module(solver,
    2    [is_constraint_functor/1,
    3    restriction_entailed/2,
    4    fd_or_num/1,
    5    reified_equality_solver/3,
    6    binary_domain/1,
    7    cstr_var/1,
    8    neq/2,lt/2,eq/2,gt/2,leq/2,geq/2,
    9    is_identical/2,
   10    impose_neg_constraints/3,
   11    solver_search/1,
   12    is_clp_functor/1,
   13    solver_rewrite_constraint/2,
   14    term_unify/2,
   15    opposite/2,
   16    rewrite_restriction/2,
   17    rewrite_restr_rules/2,
   18    add_default_domain/1,
   19    term_equality/2,
   20    is_number/1
   21    ]).   22
   23%:- ensure_loaded(fd_solver), use_module(library(clpfd)).
   24:- ensure_loaded(r_solver), use_module(library(clpr)).