PSE LSA v1.0 A Problem Solving Environment for Linear System Analysis Copyright 1997 T. Stuckey, J. Villacis, E. Akman J. Balasubramanian, S. Diwan and Indiana University All Rights Reserved