Functions for randomly vector simulations of Hons aigs.
Simulating AIGs on random vectors is useful in algorithms such as fraiging, to look for nodes that are probably equivalent and might be merged.
Our hons-based aig representation is not especially efficient or well-suited for carrying out random simulations, and nowadays aignet is a much faster alternative. Nevertheless, we have developed various routines for vector-simulations of Hons AIGs.
Note that some of these routines make use of 60-bit natural numbers, which are fixnums on 64-bit CCL and SBCL. They may perform quite badly on other Lisps with smaller fixnum ranges.