MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language