Incorporating New Synthesis Techniques

1. Redundancy addition and removal
2. Making BDD computation more rugged.
3. New method for exploiting flexibility using SPFD's
4. Use of improved VIS state-space traversal
5. Finding Boolean divisors using Kunz's method
6. Using recursive learning, fast SAT via GRASP, and CODC's
7. Transformation of input space using XOR transformations
8. Sequential redundancy removal without search
9. Super-fast SAT and its uses.