QuipperLib.ClassicalOptim.AlgExp
mapOfSet
setOfMap
split_even
type Exp
listOfExp
expOfList
exp_and
exp_xor
exp_false
exp_true
exp_not
exp_var
vars_of_exp
exp_eval
valuations_of_vars
truth_table_of_exp
exp_of_truth_table
twoExp
genBoolList
test_args
test_truth1
genIntList
genExp
test_truth2