% define some operators for the systems providing no clpfd library.

:- op( 700, xfx, in ).
:- op(700,  xfx, [#=,#\=,#<,#=<,#>,#>=]).
:- op(550,  xfx, ..).