A solver for Semantle