Computer Aided Design Of Permutation, Linear, And Affine-Linear Reversible Circuits In The General And Linear Nearest-Neighbor Models