1:- module(zdd_aux, []).    2:- use_module(library(apply)).    3:- use_module(library(apply_macros)).    4:- use_module(library(clpfd)).    5:- use_module(library(statistics)).    6:- use_module(zdd('zdd-array')).    7:- use_module(util(math)).    8:- use_module(util(meta2)).    9:- use_module(pac(basic)).   10:- use_module(pac(meta)).   11:- use_module(util(misc)).   12:- use_module(pac('expand-pac')). % For the kind block.
   13:- use_module(zdd('zdd-misc')).   14:- use_module(zdd(zdd)).   15:- use_module(pac(op)).   16
   17:- set_prolog_flag(stack_limit, 10_200_147_483_648).   18
   19 :- op(1060, xfy, ~).		% equivalence
   20 :- op(1060, xfy, #).		% exor
   21 :- op(1060, xfy, <->).		% equivalence
   22 :- op(1050, yfx, <-).   23 :- op(1060, xfy, <=> ).	% equivalence
   24 :- op(1040, xfy, \/).		% OR
   25 :- op(1030, xfy, /\).		% AND
   26 :- op(1020, fy, \).		% NOT
   27 :- op(700, xfx, :=).		% Assignment
   28 :- op(1000, xfy, &).   29
   30% for pac query.
   31 :- pac:op(1000, xfy, &).   32 :- pac:op(700, xfx, :=).   33
   34term_expansion --> pac:expand_pac.
   35
   36:- meta_predicate(@(:)).   37@(X):- shift(X)