Versioned mirror of Kåre's ksolve+ puzzle solver with @qqwref's enhancements. - View it on GitHub