semantle-solver

Solves https://semantle.novalis.org/