SMS: Computational aspects of general equilibrium theory