Defined the ExfrData data structure. It is not ...
Undo changes from revision 3001. These are in a...
A temporary private branch for SMT support.
Reorganized projection order optimization code.
a few reorganizations and renamings
variable renamings and test file adjustments
Corrected an assert statement.
a little bit faster aex_psremseq