Added lru and queue; improved solver in clower.