:- module(tor_clpfd,[]).
%                 [op(760, yfx, #<==>), % reexport does not reexport operator declarations
%                  op(750, xfy, #==>),
%                  op(750, yfx, #<==),
%                  op(740, yfx, #\/),
%                  op(730, yfx, #\),
%                  op(720, yfx, #/\),
%                  op(710,  fy, #\),
%                  op(700, xfx, #>),
%                  op(700, xfx, #<),
%                  op(700, xfx, #>=),
%                  op(700, xfx, #=<),
%                  op(700, xfx, #=),
%                  op(700, xfx, #\=),
%                  op(700, xfx, in),
%                  op(700, xfx, ins),
%                  op(450, xfx, ..),
%		  op(1100,xfy,tor),
%		  op(1150,fx,tor)]).

:- reexport(tor).
:- reexport(library(clpfd), except([label/1,labeling/2,indomain/1])).
:- reexport(tor_labeling).
:- reexport(tor_clpfd_labeling).