1:- module(tor_clpfd,[]).    2%                 [op(760, yfx, #<==>), % reexport does not reexport operator declarations
    3%                  op(750, xfy, #==>),
    4%                  op(750, yfx, #<==),
    5%                  op(740, yfx, #\/),
    6%                  op(730, yfx, #\),
    7%                  op(720, yfx, #/\),
    8%                  op(710,  fy, #\),
    9%                  op(700, xfx, #>),
   10%                  op(700, xfx, #<),
   11%                  op(700, xfx, #>=),
   12%                  op(700, xfx, #=<),
   13%                  op(700, xfx, #=),
   14%                  op(700, xfx, #\=),
   15%                  op(700, xfx, in),
   16%                  op(700, xfx, ins),
   17%                  op(450, xfx, ..),
   18%		  op(1100,xfy,tor),
   19%		  op(1150,fx,tor)]).
   20
   21:- reexport(tor).   22:- reexport(library(clpfd), except([label/1,labeling/2,indomain/1])).   23:- reexport(tor_labeling).   24:- reexport(tor_clpfd_labeling).