Pattern also contains an internal solver, so here's a command-line