So, it only generates fully solved boards? That's a pity. Picking the initial numbers is the tricky part. I don't think there are many opensource libraries for that.