This is cool! I once wrote a method for generating logical deduction problems:

https://github.com/shaungallagher/cheryls-murder/blob/master...

As with the procedural puzzle generator, it takes a bit of sifting to find puzzles that are both possible and challenging to solve. But it gets you most of the way there!