Packages to deal with logic-oriented non-deterministic computations
allvalues combinatorial inversion plural-arguments searchtree searchtree-extra searchtree-unsafe setfunction-synthesis setfunctions